3 files changed, 13 insertions(+), 2 deletions(-)

A unreferenced.json
M util/build.ts
A util/dom-parser.ts

@@ 0,0 1,3 @@
+[ "/misc/index.html",
+  "/notes/interleavings-1d/img/mpl/.htaccess"
+]

@@ 35,6 35,8 @@ const mathjax_script_tags = domParser.parseFromString(
     mathjax_as_text, 'text/html'
 ).querySelectorAll('script');
 
+const unreferenced_promise = Deno.readTextFile('unreferenced.json')
+      .then(JSON.parse);
 
 const process = async function(processing_started, to_process) {
     const path = to_process.pop();


@@ 102,10 104,11 @@ const process = async function(processing_started, to_process) {
 
 const processing_started = ['/index.html'];
 
+const unreferenced = await unreferenced_promise;
+
 const to_process = getRefPaths(
     pubignore, processing_started, '/index.html', root_doc
-);
-to_process.push('/misc/index.html');
+).concat(unreferenced);
 
 process(processing_started, to_process);
 

@@ 0,0 1,5 @@
+import { DOMParser } from "https://deno.land/x/deno_dom/deno-dom-wasm.ts";
+
+const domParser = new DOMParser();
+
+export { domParser };