author | Oleksandr Gavenko <gavenkoa@gmail.com> |
Sat, 20 May 2023 15:58:38 +0300 | |
changeset 2565 | e0428be059da |
parent 2002 | 812770d563e4 |
permissions | -rwxr-xr-x |
903 | 1 |
#!/bin/sh |
2 |
||
3 |
echo '[OPTIONS]' |
|
4 |
echo 'Compatibility=1.1 or later' |
|
1893
da0024f4f068
Remove frame based publishing, stick to iframe. Clean CHM code generation.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
903
diff
changeset
|
5 |
echo 'Compiled file=chm.chm' |
903 | 6 |
echo 'Contents file=chm.hhc' |
7 |
echo 'Default Window=Navigation panel' |
|
1893
da0024f4f068
Remove frame based publishing, stick to iframe. Clean CHM code generation.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
903
diff
changeset
|
8 |
echo 'Default topic=iframe.html' |
903 | 9 |
echo 'Display compile progress=No' |
10 |
echo 'Full text search stop list file=chm.stp' |
|
11 |
echo 'Full-text search=Yes' |
|
12 |
echo 'Language=0x409 Английский (США)' |
|
13 |
echo 'Title=Tips from gavenkoa' |
|
14 |
echo '' |
|
15 |
echo '[WINDOWS]' |
|
1893
da0024f4f068
Remove frame based publishing, stick to iframe. Clean CHM code generation.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
903
diff
changeset
|
16 |
echo 'Navigation panel=,"chm.hhc",,"iframe.html","iframe.html",,,,,0x62520,250,0x304e,[0,0,900,600],,,,,,,0' |
903 | 17 |
echo '' |
18 |
echo '[FILES]' |
|
19 |
||
2002
812770d563e4
There are no longer *.txt files.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
2001
diff
changeset
|
20 |
for file in *.rst; do |
1893
da0024f4f068
Remove frame based publishing, stick to iframe. Clean CHM code generation.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
903
diff
changeset
|
21 |
case $file in |
da0024f4f068
Remove frame based publishing, stick to iframe. Clean CHM code generation.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
903
diff
changeset
|
22 |
HEADER.rst) continue;; |
da0024f4f068
Remove frame based publishing, stick to iframe. Clean CHM code generation.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
903
diff
changeset
|
23 |
esac |
903 | 24 |
ext=${file##*.} |
25 |
name=${file%.${ext}} |
|
26 |
case $ext in |
|
27 |
rst) |
|
28 |
echo $name.html |
|
29 |
;; |
|
30 |
esac |
|
31 |
done |
|
32 |
||
33 |
echo '' |
|
34 |
echo '[INFOTYPES]' |
|
35 |