| author | Oleksandr Gavenko <gavenkoa@gmail.com> |
| Fri, 13 Jul 2012 22:32:19 +0300 | |
| changeset 1334 | 9bf0d5a1f0cf |
| parent 1079 | ef0805397b5b |
| child 1336 | 80c5eff010a1 |
| permissions | -rwxr-xr-x |
|
902
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
1 |
#!/bin/sh |
|
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
2 |
|
|
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
3 |
echo '<html>' |
|
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
4 |
echo '<head>' |
|
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
5 |
echo ' <meta http-equiv="Content-Type" content="text/html; charset=utf-8">' |
|
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
6 |
echo ' <title>Tips</title>' |
|
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
7 |
echo ' <style type="text/css">' |
|
1031
1febb0de8647
Fix colors. Add border.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
933
diff
changeset
|
8 |
echo ' body { background-color: LightYellow; }'
|
|
902
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
9 |
echo ' a { text-decoration:none; }'
|
|
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
10 |
echo ' a:link { color: brown; }'
|
|
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
11 |
echo ' a:visited { color: IndianRed; }'
|
|
1031
1febb0de8647
Fix colors. Add border.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
933
diff
changeset
|
12 |
echo ' a:hover { background: bisque; border-radius: 10px; padding: 1px; }'
|
|
902
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
13 |
echo ' </style>' |
|
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
14 |
echo '</head>' |
|
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
15 |
echo '<body>' |
|
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
16 |
echo '<h1>Tips</h1>' |
|
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
17 |
echo '<ul>' |
|
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
18 |
|
|
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
19 |
for file in *.rst *.txt; do |
|
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
20 |
ext=${file##*.}
|
| 1078 | 21 |
[ "$ext" = "rst" ] && ext=html |
22 |
name=${file%.*}
|
|
23 |
case "$1" in |
|
|
1079
ef0805397b5b
Generate index.html without "target=article" so links open in current browser tab.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1078
diff
changeset
|
24 |
html) echo " <li><a href=\"$name.$ext\">$name</a>" ;; |
| 1078 | 25 |
frame) echo " <li><a href=\"$name.$ext\" target=\"article\">$name</a>" ;; |
26 |
*) exit 1 ;; |
|
|
902
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
27 |
esac |
|
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
28 |
done |
|
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
29 |
|
|
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
30 |
echo '<p>' |
|
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
31 |
echo '<address>' |
|
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
32 |
echo ' <a href="mailto:gavenkoa@gmail.com">Oleksandr Gavenko</a>' |
|
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
33 |
echo '</address>' |
|
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
34 |
echo '</body>' |
|
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
35 |
echo '</html>' |