|
1
|
#!/bin/sh |
|
2
|
bindir="`dirname "$0"`" |
|
3
|
topdir="`dirname "$bindir"`" |
|
4
|
mimetex -d "`cat "$topdir/art/encode1.tex"`" > "$topdir/www/encode1.gif" |
|
5
|
mimetex -d "`cat "$topdir/art/encode2.tex"`" > "$topdir/www/encode2.gif" |
|
6
|
mimetex -d "`cat "$topdir/art/encode3.tex"`" > "$topdir/www/encode3.gif" |
|
7
|
mimetex -d "`cat "$topdir/art/encode4.tex"`" > "$topdir/www/encode4.gif" |
|
8
|
mimetex -d "`cat "$topdir/art/encode5.tex"`" > "$topdir/www/encode5.gif" |
|
9
|
mimetex -d "`cat "$topdir/art/encode6.tex"`" > "$topdir/www/encode6.gif" |
|
10
|
mimetex -d "`cat "$topdir/art/encode7.tex"`" > "$topdir/www/encode7.gif" |
|
11
|
mimetex -d "`cat "$topdir/art/encode8.tex"`" > "$topdir/www/encode8.gif" |
|
12
|
mimetex -d "`cat "$topdir/art/encode9.tex"`" > "$topdir/www/encode9.gif" |
|
13
|
|