author | Oleksandr Gavenko <gavenkoa@gmail.com> |
Wed, 21 Nov 2018 16:32:43 +0200 | |
changeset 2287 | fcdd583e8795 |
parent 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 |
||
2002
812770d563e4
There are no longer *.txt files.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
2001
diff
changeset
|
18 |
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
|
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">' |
|
2002
812770d563e4
There are no longer *.txt files.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
2001
diff
changeset
|
25 |
printf ' <param name="name" value="%s">\n' $name |
812770d563e4
There are no longer *.txt files.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
2001
diff
changeset
|
26 |
printf ' <param name="local" value="%s.html">\n' $name |
903 | 27 |
echo ' </object>' |
28 |
done |
|
29 |
||
30 |
echo '</ul>' |
|
31 |
echo '</body>' |
|
32 |
echo '</html>' |
|
33 |