home *** CD-ROM | disk | FTP | other *** search
/ Il CD di internet / CD.iso / ROOTDSKS.12 / TTY12 / usr / lib / man.config
Encoding:
Text File  |  1994-05-29  |  1.3 KB  |  56 lines
  1. #
  2. # Generated automatically from man.config.in by the
  3. # configure script.
  4. #
  5. # man.config
  6. #
  7. # This file is read by man to configure the mandatory manpath, to
  8. # map each path element to a manpath element and to determine where the
  9. # "man" binary lives.  The format is:
  10. #
  11. # MANBIN                pathname
  12. # MANDATORY_MANPATH            manpath_element
  13. # MANPATH_MAP        path_element    manpath_element
  14. #
  15. # MANBIN is optional
  16. #
  17. # It is also read by man in order to find how to call nroff, less, etc.,
  18. # and to determine the correspondence between extensions and decompressors.
  19. #
  20. #MANBIN        /usr/local/bin/man
  21. #
  22. # Every automatically generated MANPATH includes these fields
  23. #
  24. MANDATORY_MANPATH    /mnt/usr/man/preformat
  25. MANDATORY_MANPATH    /mnt/usr/man
  26. MANDATORY_MANPATH    /mnt/usr/local/man
  27. MANDATORY_MANPATH    /mnt/usr/X386/man
  28. #
  29. # Useful paths
  30. #
  31. TROFF        /mnt/usr/bin/groff -Tps -mandoc
  32. NROFF        /mnt/usr/bin/groff -Tascii -mandoc
  33. EQN        /mnt/usr/bin/geqn -Tps
  34. NEQN        /mnt/usr/bin/geqn -Tascii
  35. TBL        /mnt/usr/bin/gtbl
  36. COL        /mnt/usr/bin/col
  37. REFER        /mnt/usr/bin/grefer
  38. PIC        /mnt/usr/bin/gpic
  39. VGRIND        
  40. GRAP        
  41. PAGER        /mnt/usr/bin/less -s
  42. #
  43. # Compress cat pages
  44. #
  45. COMPRESS    /mnt/bin/gzip
  46. COMPRESS_EXT    .gz
  47. #
  48. # Decompress with given decompressor when input file has given extension
  49. # The command given must act as a filter.
  50. #
  51. .gz        /mnt/usr/bin/zcat
  52. .z        /mnt/usr/bin/zcat
  53. .Z        /mnt/usr/bin/zcat
  54. .F        
  55. .Y        
  56.