From 3568412f8f230774d0d11d7ed1c897424f95d3ef Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Thu, 11 Nov 2021 21:37:34 +0100 Subject: Rewritten from scratch. Welocme nissy 2.0! --- makedoc.sh | 29 ----------------------------- 1 file changed, 29 deletions(-) delete mode 100755 makedoc.sh (limited to 'makedoc.sh') diff --git a/makedoc.sh b/makedoc.sh deleted file mode 100755 index 008579c..0000000 --- a/makedoc.sh +++ /dev/null @@ -1,29 +0,0 @@ -#!/bin/sh - -OUT=./src/helppages.h -DOCDIR=./docs -N=$(ls -1 $DOCDIR | wc -l) - -# This deletes the content of the file -echo "/* To generate this help page, use the script makedoc.sh */" > $OUT - -echo "" >> $OUT -echo "int Npages = $N;" >> $OUT -echo "" >> $OUT -echo "char *helppages[][10] = {" >> $OUT - -for f in $(ls $DOCDIR) -do - name=$(echo "$f" | sed 's/\..*//') - echo "" >> $OUT - echo "{ \"$name\"," >> $OUT - - echo "\"\\" >> $OUT - sed 's/$/\\n\\/;s/\"/\\\"/g' $DOCDIR/$f >> $OUT - echo "\"" >> $OUT - - echo "}," >> $OUT -done - -echo "};" >> $OUT - -- cgit v1.3