| author | Oleksandr Gavenko <gavenkoa@gmail.com> |
| Thu, 04 Aug 2016 15:31:15 +0300 | |
| changeset 2001 | 4bebef342260 |
| parent 1893 | chm-hhc.sh@da0024f4f068 |
| child 2002 | 812770d563e4 |
| permissions | -rwxr-xr-x |
| 903 | 1 |
#!/bin/sh |
2 |
||
3 |
echo '<html>' |
|
4 |
echo ' <head>' |
|
5 |
echo ' <meta name="generator" content="html2hhc <gavenkoa@gmail.com>">' |
|
6 |
echo ' </head>' |
|
7 |
echo '<body>' |
|
8 |
echo '<object type="text/site properties">' |
|
9 |
echo ' <param name="ImageType" value="Folder">' |
|
10 |
echo '</object>' |
|
11 |
echo '<ul>' |
|
12 |
||
13 |
echo ' <li><object type="text/sitemap">' |
|
14 |
echo ' <param name="name" value="index">' |
|
|
1893
da0024f4f068
Remove frame based publishing, stick to iframe. Clean CHM code generation.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
903
diff
changeset
|
15 |
echo ' <param name="local" value="iframe.html">\n' |
| 903 | 16 |
echo ' </object>' |
17 |
||
18 |
for file in *.rst *.txt; do |
|
|
1893
da0024f4f068
Remove frame based publishing, stick to iframe. Clean CHM code generation.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
903
diff
changeset
|
19 |
case $file in |
|
da0024f4f068
Remove frame based publishing, stick to iframe. Clean CHM code generation.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
903
diff
changeset
|
20 |
HEADER.rst) continue;; |
|
da0024f4f068
Remove frame based publishing, stick to iframe. Clean CHM code generation.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
903
diff
changeset
|
21 |
esac |
| 903 | 22 |
ext=${file##*.}
|
23 |
name=${file%.${ext}}
|
|
24 |
echo ' <li><object type="text/sitemap">' |
|
25 |
case $ext in |
|
26 |
txt) |
|
27 |
printf ' <param name="name" value="%s">\n' $name |
|
28 |
printf ' <param name="local" value="%s.txt">\n' $name |
|
29 |
;; |
|
30 |
rst) |
|
31 |
printf ' <param name="name" value="%s">\n' $name |
|
32 |
printf ' <param name="local" value="%s.html">\n' $name |
|
33 |
;; |
|
34 |
esac |
|
35 |
echo ' </object>' |
|
36 |
done |
|
37 |
||
38 |
echo '</ul>' |
|
39 |
echo '</body>' |
|
40 |
echo '</html>' |
|
41 |