blob: 008579c10dfd2ab85050c8a5500eaf4e57217e2c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
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
|
