From 57db51a7c8837d970b5785e1e6ed5e81dbae6f12 Mon Sep 17 00:00:00 2001
From: pommicket <pommicket@gmail.com>
Date: Wed, 30 Aug 2023 00:27:16 -0400
Subject: misc nonsense

---
 guide-src/development/index.html | 7 ++++++-
 guide-src/make.py                | 2 +-
 2 files changed, 7 insertions(+), 2 deletions(-)

(limited to 'guide-src')

diff --git a/guide-src/development/index.html b/guide-src/development/index.html
index 717ff6d..c9a75d2 100644
--- a/guide-src/development/index.html
+++ b/guide-src/development/index.html
@@ -18,10 +18,15 @@ the main files of interest are <code>index.html</code> and <code>pugl.js</code>,
 the JavaScript for pugl (hopefully it doesn't become too unmanageable to have just one file).
 </p>
 
+<p>
+you can run <code>make</code> to generate a <code>public/</code> directory which has just the files
+that should be hosted.
+</p>
+
 <h3>contributing to the guide</h3>
 <p>
 the guide is automatically generated from the files in <code>guide-src/</code> by <code>guide-src/make.py</code>
 (you can also just run <code>make</code> to generate it), which is a simple script whose main purpose is adding
-a sidebar to all of the guide pages. any PNG files are automatically copied from <code>guide-src/</code> to <code>guide/</code>.
+a sidebar to all of the guide pages. any PNG/JPG/SVG files are automatically copied from <code>guide-src/</code> to <code>guide/</code>.
 when you add or remove pages from the guide, you'll need to edit <code>guide-src/outline.txt</code>.
 </p>
diff --git a/guide-src/make.py b/guide-src/make.py
index 6f03513..69a0fd1 100644
--- a/guide-src/make.py
+++ b/guide-src/make.py
@@ -10,7 +10,7 @@ os.makedirs(OUTPUT_DIR, exist_ok=True)
 
 try:
 	for f in os.listdir(INPUT_DIR):
-		if f.endswith('.png'):
+		if f.endswith('.png') or f.endswith('.svg') or f.endswith('.jpg') or f.endswith('.jpeg'):
 			shutil.copyfile(INPUT_DIR + '/' + f, OUTPUT_DIR + '/' + f)
 		elif not '.' in f:
 			os.makedirs(OUTPUT_DIR + '/' + f, exist_ok=True)
-- 
cgit v1.2.3