diff options
author | emkael <emkael@tlen.pl> | 2017-09-07 14:23:19 +0200 |
---|---|---|
committer | emkael <emkael@tlen.pl> | 2017-09-07 14:23:19 +0200 |
commit | ac91fdbcb319b7aca5c2b8cc406997e331efbec8 (patch) | |
tree | 3757fcee964c69e718851a8db4057460494947af /bin | |
parent | 7b775200ef44e22d2c5ab0dffce6be5f2ca136fa (diff) |
Pre-generated menus for static pages (and group tool pages)
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/generate-statics.sh | 1 |
1 files changed, 1 insertions, 0 deletions
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 |