diff options
| author | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-11-11 21:37:34 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-11-11 21:37:34 +0100 |
| commit | 3568412f8f230774d0d11d7ed1c897424f95d3ef (patch) | |
| tree | 77223792d8c925a9b1fc32b3f4341e943b5f8209 /makedoc.sh | |
| parent | 67e1b5e6e6a2c917a2fe58a37a1382c982b1e5c5 (diff) | |
| download | nissy-3568412f8f230774d0d11d7ed1c897424f95d3ef.tar.gz nissy-3568412f8f230774d0d11d7ed1c897424f95d3ef.zip | |
Rewritten from scratch. Welocme nissy 2.0!
Diffstat (limited to '')
| -rwxr-xr-x | makedoc.sh | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/makedoc.sh b/makedoc.sh deleted file mode 100755 index 008579c..0000000 --- a/makedoc.sh +++ /dev/null | |||
| @@ -1,29 +0,0 @@ | |||
| 1 | #!/bin/sh | ||
| 2 | |||
| 3 | OUT=./src/helppages.h | ||
| 4 | DOCDIR=./docs | ||
| 5 | N=$(ls -1 $DOCDIR | wc -l) | ||
| 6 | |||
| 7 | # This deletes the content of the file | ||
| 8 | echo "/* To generate this help page, use the script makedoc.sh */" > $OUT | ||
| 9 | |||
| 10 | echo "" >> $OUT | ||
| 11 | echo "int Npages = $N;" >> $OUT | ||
| 12 | echo "" >> $OUT | ||
| 13 | echo "char *helppages[][10] = {" >> $OUT | ||
| 14 | |||
| 15 | for f in $(ls $DOCDIR) | ||
| 16 | do | ||
| 17 | name=$(echo "$f" | sed 's/\..*//') | ||
| 18 | echo "" >> $OUT | ||
| 19 | echo "{ \"$name\"," >> $OUT | ||
| 20 | |||
| 21 | echo "\"\\" >> $OUT | ||
| 22 | sed 's/$/\\n\\/;s/\"/\\\"/g' $DOCDIR/$f >> $OUT | ||
| 23 | echo "\"" >> $OUT | ||
| 24 | |||
| 25 | echo "}," >> $OUT | ||
| 26 | done | ||
| 27 | |||
| 28 | echo "};" >> $OUT | ||
| 29 | |||
