From ac91fdbcb319b7aca5c2b8cc406997e331efbec8 Mon Sep 17 00:00:00 2001
From: emkael <emkael@tlen.pl>
Date: Thu, 7 Sep 2017 14:23:19 +0200
Subject: Pre-generated menus for static pages (and group tool pages)

---
 bin/generate-statics.sh | 1 +
 1 file changed, 1 insertion(+)

(limited to 'bin')

diff --git a/bin/generate-statics.sh b/bin/generate-statics.sh
index bb49671..4369aa7 100755
--- a/bin/generate-statics.sh
+++ b/bin/generate-statics.sh
@@ -11,5 +11,6 @@ cat $1 |
         if [ -n "$CONTENT_FILE" ]
         then
             python scripts/static.py $CONTENT_DIR/$CONTENT_FILE "$HEADER" > $OUTPUT_DIR/$OUTPUT_FILE
+            python scripts/static-menu.py $OUTPUT_DIR/$OUTPUT_FILE $OUTPUT_DIR/.menu.html
         fi
     done
-- 
cgit v1.2.3