home *** CD-ROM | disk | FTP | other *** search
/ rtsi.com / 2014.01.www.rtsi.com.tar / www.rtsi.com / OS9 / OSK / GNU / SRC / makeinfo_src.lzh / make_dvi < prev    next >
Text File  |  1991-05-25  |  1KB  |  80 lines
  1. #!/bin/csh -f
  2.  
  3. # 1: LaTeX 1 + texindex 1
  4. # 2: LaTeX 2 + texindex 2
  5. # 3: LaTeX 3
  6. # 4: dviselect
  7. # 5: dvi2tty
  8.  
  9.  
  10. if    ($#argv  <  1)    then
  11.     echo    "Usage:  make-dvi <document> [<step>]"
  12.     exit    1
  13. endif
  14. set    root    = $1
  15. set    texSrc    = $root.texi
  16. set    index    = /lrzsw1/GNU/texindex \
  17.     tex    = (btex $texSrc)
  18. if    ($#argv  >  1)    goto S-$2
  19.  
  20.  
  21. S-1:
  22. echo    '###############\
  23. ## Schritt 1 ##\
  24. ###############\
  25. '
  26. $tex    < /dev/null
  27. echo    $index $root.??
  28. $index    $root.??
  29. if    (-e stop)    exit 0
  30.  
  31.  
  32. S-2:
  33. echo    '\
  34. \
  35. ###############\
  36. ## Schritt 2 ##\
  37. ###############\
  38. '
  39. $tex    < /dev/null
  40. echo    $index $root.??
  41. $index    $root.??
  42. if    (-e stop)    exit 0
  43.  
  44.  
  45. S-3:
  46. echo    '\
  47. \
  48. ###############\
  49. ## Schritt 3 ##\
  50. ###############\
  51. '
  52. $tex    < /dev/null
  53.  
  54.  
  55. S-4:
  56. echo    '\
  57. \
  58. ###############\
  59. ## Schritt 4 ##\
  60. ###############\
  61. '
  62. dviselect :0 $root.dvi Index.dvi
  63.  
  64.  
  65. S-5:
  66. echo    '\
  67. \
  68. ###############\
  69. ## Schritt 5 ##\
  70. ###############\
  71. '
  72. dvi2tty    -w 132 Index.dvi \
  73. | sed    -e '1d;/^   /d;/^ /d;/^ *$/d' \
  74.     -e 's,:,.,g;s,^\([0-9][0-9]*\)   ,\1,' \
  75.     -e 's,^\([0-9] \), \1,;s,\([^ .]\)\.\.,\1 ..,' \
  76.     -e 's,\.\.\([0-9]\),.. \1,;s,\([a-zA-Z] \) ,\1,g'  > Index.txt
  77.  
  78.  
  79. exit    0
  80.