home *** CD-ROM | disk | FTP | other *** search
/ Power-Programmierung / CD2.mdf / c / library / dos / diverses / leda / man / lman < prev    next >
Encoding:
Text File  |  1991-11-15  |  1.8 KB  |  89 lines
  1. #!/bin/csh -f
  2.  
  3. # Set Variables 
  4. # "man_dir" to the path name of the LEDA manual directory
  5. # "awk_cmd" to your awk command (must be compatible with GNU gawk)
  6.  
  7. set man_dir = /KM/usr/naeher/leda/man
  8. set awk_cmd = gawk
  9.  
  10.  
  11. if (! -d $man_dir) then
  12. echo    ""
  13. echo -n "Cannot find LEDA manual directory,"
  14. echo    " change variable 'man_dir' in '$0' \!"
  15. echo    ""
  16. exit 1
  17. endif
  18.  
  19. if ("$1" == "-l") then
  20. set less = 0
  21. shift
  22. else
  23. set less = 1
  24.  
  25. if ("$1" == "-t") then
  26. set textedit = 1
  27. shift
  28. else
  29. set textedit = 0
  30. endif
  31. endif
  32.  
  33.  
  34. if ($1 == "") then
  35. clear
  36. echo "Lman - print LEDA manual pages"
  37. echo " "
  38. echo "Syntax: "
  39. echo " "
  40. echo "    lman   T   [op]"
  41. echo " "
  42. echo "Arguments: "
  43. echo " "
  44. echo "    T   :  name of a LEDA data type"
  45. echo " "
  46. echo "    op  :  name of an operation of data type T or one of the section names"
  47. echo "           definition, declaration, creation, operations, or implementation"
  48. echo " "
  49. echo "Usage: "
  50. echo " "
  51. echo "    lman  T        prints the manual page for data type T (piped through less)."
  52. echo " "
  53. echo "    lman  T  op    prints the manual entry for operation T::op or section"
  54. echo "                   op of the manual page for T (if op is a section name)."
  55. echo " "
  56. echo " "
  57. exit 1
  58. endif
  59.  
  60. set tex_file = $man_dir/$1.tex
  61. set awk_script = $man_dir/AWK
  62.  
  63.  
  64. if (-f $tex_file) then
  65.   if ($2 != "") then
  66.     while ($2 != "")
  67.       $awk_cmd -f $awk_script $tex_file $2 
  68.       shift
  69.     end
  70.   else
  71.    if ($less == 1) then
  72.     $awk_cmd -f $awk_script $tex_file | less -+M -+m -e -n -P"LEDA Manual ($1)"
  73.    else
  74.     if ($textedit == 1) then
  75.      $awk_cmd -f $awk_script $tex_file | sed s/_//g > /tmp/lman$$
  76.      textedit -read_only /tmp/lman$$
  77.      rm -f /tmp/lman$$
  78.     else
  79.      $awk_cmd -f $awk_script $tex_file
  80.     endif
  81.    endif
  82.   endif
  83. else
  84.    echo "$0": LEDA data type \"$1\" not found
  85.    exit 1
  86. endif
  87.  
  88. exit 0
  89.