diff options
| author | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2020-09-13 10:25:57 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2020-09-13 10:25:57 +0200 |
| commit | e0e21d5e120010607ea93b746953ad9a28550078 (patch) | |
| tree | 0a84c5290f5addbba1126ed8ba54df9dbd9f9d89 /makedoc.sh | |
| parent | 0283a15ef9feeb7755f93f08de6c5204591d5381 (diff) | |
| download | nissy-e0e21d5e120010607ea93b746953ad9a28550078.tar.gz nissy-e0e21d5e120010607ea93b746953ad9a28550078.zip | |
Copied documentation into code
Diffstat (limited to 'makedoc.sh')
| -rwxr-xr-x | makedoc.sh | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/makedoc.sh b/makedoc.sh new file mode 100755 index 0000000..008579c --- /dev/null +++ b/makedoc.sh | |||
| @@ -0,0 +1,29 @@ | |||
| 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 | |||
