Overview
Comment: | rep_html and index.html now generated |
---|---|
Downloads: | Tarball | ZIP archive | SQL archive |
Timelines: | family | ancestors | descendants | both | origin/master | trunk |
Files: | files | file ages | folders |
SHA3-256: |
8434bfeccb84c1d93dda229bc2dfc594 |
User & Date: | gawthrop@users.sourceforge.net on 2003-08-19 13:38:49 |
Other Links: | branch diff | manifest | tags |
Context
2003-08-19
| ||
14:01:45 | Added legal appendices check-in: 524b794ebf user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
13:38:49 | rep_html and index.html now generated check-in: 8434bfeccb user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
13:13:28 | No legend check-in: 1e6070d558 user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
Changes
Modified mttroot/mtt/doc/mtt_make_examples from [6d9424bc3d] to [ac977b6bd2].
1 2 3 4 5 6 7 8 9 10 11 | 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}" |