Update dependency: web/k-web-theme

Dockerfile

@@ -40,7 +40,7 @@ RUN    git clone 'https://github.com/z3prover/z3' --branch=z3-4.8.11 \
 
 RUN curl -sSL https://get.haskellstack.org/ | sh
 
-RUN curl -sL https://deb.nodesource.com/setup_14.x | bash -
+RUN curl -sL https://deb.nodesource.com/setup_16.x | bash -
 RUN    apt-get update               \
     && apt-get upgrade --yes        \
     && apt-get install --yes nodejs

web/build-html.js

@@ -2,8 +2,6 @@ const { cleanUpFiles, generatePagesFromMarkdownFiles } = require("k-web-theme");
 const path = require("path");
 const fs = require("fs");
 
-cleanUpFiles(path.resolve(__dirname, "./public_content/"));
-
 const pageTemplate = fs
   .readFileSync("./static_content/html/page_template.html")
   .toString("utf-8");