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
|
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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
|
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
+
+
-
-
-
+
+
+
-
+
-
+
+
+
+
|
#! /bin/sh
## This makes all of the standard examples
## It takes a few hours.
## Copyright (C) 2003 by Peter J. Gawthrop
exampledir="$MTT_EXAMPLES"
dirname=`basename ${exampledir}`
tmpbase="$HOME/JUNK"
tmpdir="${tmpbase}/${dirname}"
first() {
cat<<EOF
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<title>MTT Examples</title>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
</head>
<body text="#ff0000" bgcolor="#ffff33" link="#000099" vlink="#990099" alink="#ff0000">
<h1 align="center"><font color="#ff0000">MTT Examples</font></h1>
<hr width="100%" size="2">
<ul>
EOF
}
entry() {
cat<<EOF
<li>$1: <a href="./$1_rep/index.html">html, </a><a href="$1_rep.pdf">pdf.</a>
EOF
}
last() {
cat<<EOF
</ul>
<hr width="100%" size="2">
Created on `date` by mtt_make_examples
<hr width="100%" size="2">
</body>
</html>
EOF
}
## File start
first > index.html
if [ -d "${tmpdir}" ]; then
echo "${tmpdir} exists -- using"
else
echo "${tmpdir} does not exist -- copy from ${exampledir}"
## Create tmp dir
mkdir -pv ${tmpdir}
## Create tmp dir
mkdir -pv ${tmpdir}
dirs=`ls | grep -v CVS`
dirs=`ls | grep -v CVS | grep -v '\.' | grep -v _`
|