[PPL-devel] [GIT] ppl/w3ppl(master): Put in sync with doc/README.doc.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at 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">