From de85e706e6dd3b3c4b2f836abc7ad8f206640045 Mon Sep 17 00:00:00 2001
From: Tony Brix <tony@brix.ninja>
Date: Sat, 9 Sep 2023 00:40:30 -0600
Subject: [PATCH] ignore some files in docs

---
 docs/build.js | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/docs/build.js b/docs/build.js
index 21473aaeba..e9ce68b77e 100644
--- a/docs/build.js
+++ b/docs/build.js
@@ -35,10 +35,19 @@ async function init() {
   console.log('Build complete!');
 }
 
+const ignoredFiles = [
+  join(cwd, 'docs', 'build.js'),
+  join(cwd, 'docs', '.eslintrc.json'),
+  join(cwd, 'docs', '_document.html')
+];
+
 async function build(currentDir, tmpl) {
   const files = await readdir(currentDir);
   for (const file of files) {
     const filename = join(currentDir, file);
+    if (ignoredFiles.includes(filename)) {
+      continue;
+    }
     const stats = await stat(filename);
     const { mode } = stats;
     if (stats.isDirectory()) {