tman
Upload User: gzelex
Upload Date: 2007-01-07
Package Size: 707k
Code Size: 2k
Development Platform:

MultiPlatform

  1. #!/bin/csh -f
  2. # set LEDA_HOME = your LEDA home directory
  3. set LEDA_HOME = /LEDA/SRC
  4. # LEDA include directory
  5. set INCL = $LEDA_HOME/incl/LEDA
  6. # LEDA manual directory
  7. set MAN = $LEDA_HOME/man
  8. # tmporary tex file
  9. set tmpfile = tman$$ #.tex
  10. if ("$1" == "-x") then
  11. set XDVI = 0
  12. shift
  13. else
  14. set XDVI = 1
  15. endif
  16. if (! -d $INCL) then
  17. echo ""
  18. echo Cannot find LEDA include directory: $INCL
  19. exit
  20. endif
  21. if ($1 == "") then
  22. echo ""
  23. echo usage: tman [-x] <LEDA data type>
  24. exit
  25. endif
  26. if (! -f $INCL/$1.h) then
  27. echo ""
  28. echo Cannot find LEDA header file: $INCL/$1.h
  29. exit
  30. endif
  31. echo ""
  32. echo "extracting manual page from $INCL/$1.h  ..."
  33. echo "documentstyle[11pt]{book}"  >  $tmpfile.tex
  34. echo "textwidth 15.4cm "  >> $tmpfile.tex
  35. echo "textheight 23 cm"  >> $tmpfile.tex
  36. echo "topmargin -14mm       "  >> $tmpfile.tex
  37. echo "evensidemargin 3mm "  >> $tmpfile.tex
  38. echo "oddsidemargin 3mm"  >> $tmpfile.tex
  39. echo "sloppy"  >> $tmpfile.tex
  40. echo ""  >> $tmpfile.tex
  41. echo "input $MAN/MANUAL.mac"           >> $tmpfile.tex
  42. echo "" >> $tmpfile.tex
  43. echo "parindent0em" >> $tmpfile.tex
  44. echo "setlength{parskip}{1ex minus 0.9ex}" >> $tmpfile.tex
  45. echo "" >> $tmpfile.tex
  46. echo "begin{document}"                 >> $tmpfile.tex
  47. echo "chapter{ }" >> $tmpfile.tex
  48. gawk -f $MAN/extman.awk $INCL/$1.h      >> $tmpfile.tex
  49. echo "end{document}" >> $tmpfile.tex
  50. echo "preparing  manual page with LaTeX  ..."
  51. latex $tmpfile.tex
  52. if ($XDVI) then
  53. echo "starting xdvi previewer ... "
  54. xdvi -s 3 $tmpfile.dvi
  55. else
  56. mv $tmpfile.dvi $1.dvi
  57. endif
  58. rm -f $tmpfile.*