[Xsb-commits] CVS: XSB/packages/xsbdoc README,NONE,1.1

[Terrance S. <ts...@us...>]

Update of /cvsroot/xsb/XSB/packages/xsbdoc
In directory usw-pr-cvs1:/tmp/cvs-serv12090

Added Files:
	README 
Log Message:
Some final tweaks.


--- NEW FILE: README ---

To generate the XSBDOC manual, make sure you have texinfo installed
(it usually present in Linuxes and academic departments, haven't
checked Cygwin).

1. cd to the doc subdirectory.

2. invoke xsb, and load the xsbdoc package by the command

?- [xsbdoc].

3. execute the command 

?- xsbdoc(xsbdoc_format,ps).

for postscript

?- xsbdoc(xsbdoc_format,pdf).

for pdf

?- xsbdoc(xsbdoc_format,html).

for html, or

?- xsbdoc(xsbdoc_format,ascii).

for ascii.