From 57db51a7c8837d970b5785e1e6ed5e81dbae6f12 Mon Sep 17 00:00:00 2001 From: pommicket Date: Wed, 30 Aug 2023 00:27:16 -0400 Subject: misc nonsense --- guide-src/development/index.html | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'guide-src/development') 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 index.html and pugl.js, the JavaScript for pugl (hopefully it doesn't become too unmanageable to have just one file).

+

+you can run make to generate a public/ directory which has just the files +that should be hosted. +

+

contributing to the guide

the guide is automatically generated from the files in guide-src/ by guide-src/make.py (you can also just run make 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 guide-src/ to guide/. +a sidebar to all of the guide pages. any PNG/JPG/SVG files are automatically copied from guide-src/ to guide/. when you add or remove pages from the guide, you'll need to edit guide-src/outline.txt.

-- cgit v1.2.3