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

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Tue Apr 14 14:08:41 2009 +0200

Synchronized with doc/README.doc.

---

 htdocs/Documentation/how_to_get_it.raw |   13 +++++++++----
 1 files changed, 9 insertions(+), 4 deletions(-)

diff --git a/htdocs/Documentation/how_to_get_it.raw b/htdocs/Documentation/how_to_get_it.raw
index 0e91926..c20f539 100644
--- a/htdocs/Documentation/how_to_get_it.raw
+++ b/htdocs/Documentation/how_to_get_it.raw
@@ -199,11 +199,16 @@ has been exceeded, e.g.:
 <PRE>
   ! TeX capacity exceeded, sorry [save size=5000].
 </PRE>
-You than need to edit the file that defines the buffer sizes
-(<CODE>texmf.cnf</CODE> on teTeX, <CODE>20sizes.cnf</CODE> on TeX Live)
-increasing the value of the corresponding buffer.
+You then need to edit the LaTeX 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
+distribution: possible names include <CODE>texmf.cnf</CODE>,
+<CODE>texmf.cfg</CODE> and <CODE>20sizes.cnf</CODE>.
+<P>
 Continuing our example, we can double <CODE>save_size</CODE>
-by editing <CODE>texmf.cfg</CODE> so that the relevant line becomes
+by editing the configuration file so that the relevant line becomes
 <PRE>
   save_size = 10000        % for saving values outside current group
 </PRE>