Copy icons and use them in generated pages

[web.git] / generate.sh

diff --git a/generate.sh b/generate.sh
index ea6c42b99b2f5e318726388d82b5d2e8692c5202..b8407e045d7c02d2f8db50452789c83dac94e157 100755 (executable)
--- a/generate.sh
+++ b/generate.sh
@@ -6,7 +6,7 @@
 }
 
 D="$(pwd)"
-O="-b html5 -a linkcss -a stylesdir=/css -a stylesheet=lede.css -a disable-javascript"
+O="-b html5 -a linkcss -a stylesdir=/css -a stylesheet=lede.css -a disable-javascript -a icons -a iconsdir=/icon"
 
 copy() {(
        cd "$1"
@@ -28,6 +28,7 @@ render() {(
 
 copy "$D/logo" "$D/html/logo"
 copy "$D/css" "$D/html/css"
+copy "$D/icon" "$D/html/icon"
 
 render "$D/pages" "$D/html"
 render "$D/docs" "$D/html/docs"