Artifact 86eb1215d85a3e796788b6a4c2354b3f096f5f88:

File tools/encode_math.sh part of check-in [6f1af23ebe] - Added section numbers to delta format, labels for linking, navigation bar. Added delta encoder description (incomplete, right now only all the trivial parts). Using TeX for formulas, and mimetex for conversion. by aku on 2007-08-26 22:22:01.

0000: 23 21 2f 62 69 6e 2f 73 68 0a 62 69 6e 64 69 72  #!/bin/sh.bindir
0010: 3d 22 60 64 69 72 6e 61 6d 65 20 22 24 30 22 60  ="`dirname "$0"`
0020: 22 0a 74 6f 70 64 69 72 3d 22 60 64 69 72 6e 61  ".topdir="`dirna
0030: 6d 65 20 22 24 62 69 6e 64 69 72 22 60 22 0a 6d  me "$bindir"`".m
0040: 69 6d 65 74 65 78 20 2d 64 20 22 60 63 61 74 20  imetex -d "`cat 
0050: 22 24 74 6f 70 64 69 72 2f 61 72 74 2f 65 6e 63  "$topdir/art/enc
0060: 6f 64 65 31 2e 74 65 78 22 60 22 20 3e 20 22 24  ode1.tex"`" > "$
0070: 74 6f 70 64 69 72 2f 77 77 77 2f 65 6e 63 6f 64  topdir/www/encod
0080: 65 31 2e 67 69 66 22 0a 6d 69 6d 65 74 65 78 20  e1.gif".mimetex 
0090: 2d 64 20 22 60 63 61 74 20 22 24 74 6f 70 64 69  -d "`cat "$topdi
00a0: 72 2f 61 72 74 2f 65 6e 63 6f 64 65 32 2e 74 65  r/art/encode2.te
00b0: 78 22 60 22 20 3e 20 22 24 74 6f 70 64 69 72 2f  x"`" > "$topdir/
00c0: 77 77 77 2f 65 6e 63 6f 64 65 32 2e 67 69 66 22  www/encode2.gif"
00d0: 0a 6d 69 6d 65 74 65 78 20 2d 64 20 22 60 63 61  .mimetex -d "`ca
00e0: 74 20 22 24 74 6f 70 64 69 72 2f 61 72 74 2f 65  t "$topdir/art/e
00f0: 6e 63 6f 64 65 33 2e 74 65 78 22 60 22 20 3e 20  ncode3.tex"`" > 
0100: 22 24 74 6f 70 64 69 72 2f 77 77 77 2f 65 6e 63  "$topdir/www/enc
0110: 6f 64 65 33 2e 67 69 66 22 0a 6d 69 6d 65 74 65  ode3.gif".mimete
0120: 78 20 2d 64 20 22 60 63 61 74 20 22 24 74 6f 70  x -d "`cat "$top
0130: 64 69 72 2f 61 72 74 2f 65 6e 63 6f 64 65 34 2e  dir/art/encode4.
0140: 74 65 78 22 60 22 20 3e 20 22 24 74 6f 70 64 69  tex"`" > "$topdi
0150: 72 2f 77 77 77 2f 65 6e 63 6f 64 65 34 2e 67 69  r/www/encode4.gi
0160: 66 22 0a 6d 69 6d 65 74 65 78 20 2d 64 20 22 60  f".mimetex -d "`
0170: 63 61 74 20 22 24 74 6f 70 64 69 72 2f 61 72 74  cat "$topdir/art
0180: 2f 65 6e 63 6f 64 65 35 2e 74 65 78 22 60 22 20  /encode5.tex"`" 
0190: 3e 20 22 24 74 6f 70 64 69 72 2f 77 77 77 2f 65  > "$topdir/www/e
01a0: 6e 63 6f 64 65 35 2e 67 69 66 22 0a 6d 69 6d 65  ncode5.gif".mime
01b0: 74 65 78 20 2d 64 20 22 60 63 61 74 20 22 24 74  tex -d "`cat "$t
01c0: 6f 70 64 69 72 2f 61 72 74 2f 65 6e 63 6f 64 65  opdir/art/encode
01d0: 36 2e 74 65 78 22 60 22 20 3e 20 22 24 74 6f 70  6.tex"`" > "$top
01e0: 64 69 72 2f 77 77 77 2f 65 6e 63 6f 64 65 36 2e  dir/www/encode6.
01f0: 67 69 66 22 0a 6d 69 6d 65 74 65 78 20 2d 64 20  gif".mimetex -d 
0200: 22 60 63 61 74 20 22 24 74 6f 70 64 69 72 2f 61  "`cat "$topdir/a
0210: 72 74 2f 65 6e 63 6f 64 65 37 2e 74 65 78 22 60  rt/encode7.tex"`
0220: 22 20 3e 20 22 24 74 6f 70 64 69 72 2f 77 77 77  " > "$topdir/www
0230: 2f 65 6e 63 6f 64 65 37 2e 67 69 66 22 0a 6d 69  /encode7.gif".mi
0240: 6d 65 74 65 78 20 2d 64 20 22 60 63 61 74 20 22  metex -d "`cat "
0250: 24 74 6f 70 64 69 72 2f 61 72 74 2f 65 6e 63 6f  $topdir/art/enco
0260: 64 65 38 2e 74 65 78 22 60 22 20 3e 20 22 24 74  de8.tex"`" > "$t
0270: 6f 70 64 69 72 2f 77 77 77 2f 65 6e 63 6f 64 65  opdir/www/encode
0280: 38 2e 67 69 66 22 0a 6d 69 6d 65 74 65 78 20 2d  8.gif".mimetex -
0290: 64 20 22 60 63 61 74 20 22 24 74 6f 70 64 69 72  d "`cat "$topdir
02a0: 2f 61 72 74 2f 65 6e 63 6f 64 65 39 2e 74 65 78  /art/encode9.tex
02b0: 22 60 22 20 3e 20 22 24 74 6f 70 64 69 72 2f 77  "`" > "$topdir/w
02c0: 77 77 2f 65 6e 63 6f 64 65 39 2e 67 69 66 22 0a  ww/encode9.gif".