From e0e21d5e120010607ea93b746953ad9a28550078 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Sun, 13 Sep 2020 10:25:57 +0200 Subject: Copied documentation into code --- makedoc.sh | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100755 makedoc.sh (limited to 'makedoc.sh') diff --git a/makedoc.sh b/makedoc.sh new file mode 100755 index 0000000..008579c --- /dev/null +++ b/makedoc.sh @@ -0,0 +1,29 @@ +#!/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