Module: ppl/w3ppl Branch: master Commit: 42c86906b12c8f637124e35c22ace4d58ca5dbd4 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=42c86906b12...

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Apr 14 14:27:33 2009 +0200

Put in sync with doc/README.doc.

---

htdocs/Documentation/how_to_get_it.raw | 16 +++++++++------- htdocs/FAQ.raw | 8 ++++---- 2 files changed, 13 insertions(+), 11 deletions(-)

diff --git a/htdocs/Documentation/how_to_get_it.raw b/htdocs/Documentation/how_to_get_it.raw index c20f539..417fb08 100644 --- a/htdocs/Documentation/how_to_get_it.raw +++ b/htdocs/Documentation/how_to_get_it.raw @@ -189,21 +189,21 @@ instead of `<code>user</code>'. Finally, the command `<CODE>make world</CODE>' will build all the available documentation in all of the above formats.

-<A NAME="LaTeX-Error"> -<H3>A Common LaTeX Error Message and Its Solution</H3> +<A NAME="TeX-Error"> +<H3>A Common TeX Error Message and Its Solution</H3>

While compiling some PostScript or PDF documentation, it is possible that -LaTeX dies with a <CODE>TeX capacity exceeded</CODE> error message. +TeX dies with a <CODE>TeX capacity exceeded</CODE> error message. The error should contain the indication of the TeX buffer whose capacity has been exceeded, e.g.: <PRE> ! TeX capacity exceeded, sorry [save size=5000]. </PRE> -You then need to edit the LaTeX configuration file that defines the +You then need to edit the TeX configuration file that defines the buffer sizes so as to increase the value of the relevant buffer. <P> <STRONG>Note</STRONG>: the actual name and location of the -configuration file will vary depending on the available LaTeX +configuration file will vary depending on the available TeX distribution: possible names include <CODE>texmf.cnf</CODE>, <CODE>texmf.cfg</CODE> and <CODE>20sizes.cnf</CODE>. <P> @@ -213,8 +213,10 @@ by editing the configuration file so that the relevant line becomes save_size = 10000 % for saving values outside current group </PRE> Any change to such configuration files should be followed by running -the command +a command like <PRE> texconfig init </PRE> -for the change to become effective. +for the change to become effective (on some systems the +<CODE>texconfig-sys</CODE> command should be used to configure TeX +system-wide). diff --git a/htdocs/FAQ.raw b/htdocs/FAQ.raw index 7d25bbc..665f654 100644 --- a/htdocs/FAQ.raw +++ b/htdocs/FAQ.raw @@ -51,7 +51,7 @@ our answers are unclear or not to the point. <A HREF="#Documentation">Documentation</A> <UL> <LI> - <A HREF="#LaTeX-Error">I get a LaTeX error message when trying + <A HREF="#TeX-Error">I get a TeX error message when trying to build the documentation from scratch. How can I fix it?</A> </LI> </UL> @@ -287,16 +287,16 @@ The situation changes depending on what Prolog system X-Prolog is: <H2>Documentation</H2>

<P> -<A NAME="LaTeX-Error"> +<A NAME="TeX-Error"> <B>Q:</B> -<STRONG><FONT COLOR=red>I get a LaTeX error message when trying to build +<STRONG><FONT COLOR=red>I get a TeX error message when trying to build the documentation. How can I fix it?</FONT></STRONG>

<BR> <B>A:</B> See the discussion near to the end of the distributed file <A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=blob;f=doc/README.doc;hb=HEAD"><CODE>doc/README.doc</CODE></A>, -also reported <A HREF="Documentation/how_to_get_it#LaTeX-Error">here</A>. +also reported <A HREF="Documentation/how_to_get_it#TeX-Error">here</A>.

<A NAME="Performance">