-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathmake_index
More file actions
executable file
·42 lines (34 loc) · 865 Bytes
/
make_index
File metadata and controls
executable file
·42 lines (34 loc) · 865 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
#! /bin/sh
#
# Marc Groenewegen © 2004
#
if [ $# -lt 1 ]; then
echo "make_index: make html index file"
echo
echo "usage: make_index <title> [ > file.html]"
echo "arguments: Title string"
echo
exit
fi
echo "<html>"
echo "<head>"
echo "<style type='text/css'>"
echo "body {background-color: #505050; color: #d0d0d0; font-family: Helvetica,sans-serif;\ font-size: 14px;}"
echo "h1 {font-size: 3em; font-weight: normal; color: #c3c3c3;\
letter-spacing: .01em; margin: 0 .05em 0 0; text-align: center; }"
echo "img {border: 0px;}"
echo "</style>"
echo "<title>$1</title>"
echo "</head>"
echo "<body>"
echo "<center>"
echo "<h1>$1</h1>"
for f in *.png ; do
echo "<a href='$f'><img hspace='50' src='thumbnails/$f'></a>"
done
echo "<!--"
echo "<a href='zaal100_20dec2013.zip'>Download zip</a>"
echo "-->"
echo "</center>"
echo "</body>"
echo "</html>"