| author | Oleksandr Gavenko <gavenkoa@gmail.com> |
| Thu, 18 Feb 2016 21:08:35 +0200 | |
| changeset 1884 | 75d45ff67876 |
| parent 1785 | 368beeffcae6 |
| child 1889 | 265b8d0f6149 |
| 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 |
|
| 1784 | 3 |
cat <<EOF |
4 |
<html> |
|
5 |
<head> |
|
6 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
|
7 |
<title>Tips</title> |
|
8 |
<style type="text/css"> |
|
9 |
body { background-color: LightYellow; }
|
|
|
1785
368beeffcae6
Use width more efficiently.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1784
diff
changeset
|
10 |
ul { padding-left: 1em; }
|
| 1784 | 11 |
a { text-decoration:none; }
|
12 |
a:link { color: brown; }
|
|
13 |
a:visited { color: IndianRed; }
|
|
14 |
a:hover { background: bisque; border-radius: 10px; padding: 1px; }
|
|
15 |
</style> |
|
16 |
</head> |
|
17 |
<body> |
|
18 |
<h1>Tips</h1> |
|
19 |
<ul> |
|
20 |
EOF |
|
|
902
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
21 |
|
|
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
22 |
for file in *.rst *.txt; do |
| 1336 | 23 |
case $file in |
24 |
HEADER.rst) continue; |
|
25 |
esac |
|
|
902
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
26 |
ext=${file##*.}
|
| 1078 | 27 |
[ "$ext" = "rst" ] && ext=html |
28 |
name=${file%.*}
|
|
29 |
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
|
30 |
html) echo " <li><a href=\"$name.$ext\">$name</a>" ;; |
| 1078 | 31 |
frame) echo " <li><a href=\"$name.$ext\" target=\"article\">$name</a>" ;; |
32 |
*) exit 1 ;; |
|
|
902
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
33 |
esac |
|
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
34 |
done |
|
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
35 |
|
| 1784 | 36 |
cat <<EOF |
37 |
<p> |
|
38 |
<address> |
|
39 |
<a href="mailto:gavenkoa@gmail.com">Oleksandr Gavenko</a> |
|
40 |
</address> |
|
41 |
</body> |
|
42 |
</html> |
|
43 |
EOF |