home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / plbin.zip / pl / man / README < prev    next >
Text File  |  1992-07-07  |  819b  |  18 lines
  1.                 MANUAL
  2.  
  3. This directory includes the LaTeX  sources of the  manual.  The actual
  4. source files are named *.doc  and are converted  into .tex files using
  5. the sed(1) script `totex'.  `runtex' is  supposed to create the entire
  6. manual.
  7.  
  8. Copyright to  this  manual  is owned by  Jan Wielemaker.  Holders of a
  9. SWI-Prolog licence are allowed to reproduce and/or modify this manual.
  10. It is not allowed to change the title, the author,  the institution or
  11. the copyright notice of this manual.
  12.  
  13. These manual sources are also used to produce the  online manual.  The
  14. online manual  is updated by running the  script `online'.  The online
  15. manual is produced  by having TeX  producing   the entire document  in
  16. fixed font and extract the formatted  text using dvi2tty, of which the
  17. sources are included in the subdirectory dvy2tty.
  18.