[PPL-devel] [GIT] ppl/ppl(master): Improved.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Apr 14 14:09:48 2009 +0200

Improved.

---

 doc/README.doc |   13 +++++++------
 1 files changed, 7 insertions(+), 6 deletions(-)

diff --git a/doc/README.doc b/doc/README.doc
index 3fd2c80..57f95ff 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 git 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
@@ -100,16 +100,16 @@ 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
+documentation, TeX 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 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.
 Note: the actual name and location of the configuration file will vary
-depending on the available LaTeX distribution: possible names include
+depending on the available TeX 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
@@ -117,11 +117,12 @@ relevant line becomes
   save_size = 10000        % for saving values outside current group
 
 Any change to such configuration files should be followed by running
-the command
+a command like
 
   texconfig init
 
-for the change to become effective.
+for the change to become effective (on some systems the `texconfig-sys'
+command should be used to configure TeX system-wide).
 
 --------