Module: ppl/ppl Branch: deprecated_0_11_removal Commit: 23cb7dad8cf9db38bca9ac8e59c5602edb860910 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=23cb7dad8cf9d... Author: Roberto Bagnara <bagnara@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). --------