[PPL-devel] [GIT] ppl/ppl(master): Updated to refer to git and to mention possible names of TeX config files.

[Enea Zaffanella]

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

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

Updated to refer to git and to mention possible names of TeX config files.

---

 doc/README.doc |   25 +++++++++++++++----------
 1 files changed, 15 insertions(+), 10 deletions(-)

diff --git a/doc/README.doc b/doc/README.doc
index 57c60ad..3fd2c80 100644
--- a/doc/README.doc
+++ b/doc/README.doc
@@ -56,7 +56,7 @@ The Documentation You May Build Yourself
 ========================================
 
 When all else fails (which is the case, for example, when you are
-using a CVS version [1]) then you may build the documentation by
+using a git version [1]) then you may build the documentation by
 yourself. In order to do that, you should have a recent version of
 Doxygen [2] and, if you want to build the HTML documentation, a recent
 version of Graphviz [3].  When you have all the tools installed and
@@ -97,17 +97,22 @@ For example, the command
 
 will build both kinds of manuals in a PDF format.  Alternatively, the
 command `make world' will build all the available documentation in all
-of the above formats.  It is possible that, while compiling some
-PostScript or PDF documentation, LaTeX dies with a "TeX capacity
-exceeded" error message.  The error should contain the indication of
-the TeX buffer whose capacity has been exceeded, e.g.:
+of the above formats.
+
+It is possible that, while compiling some PostScript or PDF
+documentation, LaTeX dies with a "TeX capacity exceeded" error
+message.  The error should contain the indication of the TeX buffer
+whose capacity has been exceeded, e.g.:
 
   ! TeX capacity exceeded, sorry [save size=5000].
 
-You than need to edit the file that defines the buffer sizes
-(texmf.cnf on teTeX, 20sizes.cnf on TeX Live) increasing the value of
-the corresponding buffer.  Continuing our example, we can double
-save_size by editing texmf.cfg so that the relevant line becomes
+You then need to edit the LaTeX configuration file that defines the
+buffer sizes so as to increase the value of the relevant buffer.
+Note: the actual name and location of the configuration file will vary
+depending on the available LaTeX distribution: possible names include
+texmf.cnf, texmf.cfg and 20sizes.cnf.  Continuing our example, we can
+double save_size by editing the configuration file so that the
+relevant line becomes
 
   save_size = 10000        % for saving values outside current group
 
@@ -120,7 +125,7 @@ for the change to become effective.
 
 --------
 
-[1] http://www.cs.unipr.it/ppl/Download/cvs
+[1] http://www.cs.unipr.it/ppl/Download/Git
 [2] http://www.doxygen.org/
 [3] http://www.research.att.com/sw/tools/graphviz/