Varie correzioni, completata revisione capitolo sull'I/O su file

[gapil.git] / README

diff --git a/README b/README
index 11dd99dbcc9371d104833fee1a2afc81b222d0fb..58b4bb53b6c1b9e099db2c544c505f7a090ae752 100644 (file)
--- a/README
+++ b/README
@@ -1,8 +1,8 @@
 GaPiL - Istruzioni per la "compilazione"
--------
+-----
 
 Dato che il testo e` scritto in LaTeX e` necessario "compilarlo" per
-poter ottenre un formato stampabile.
+poter ottenere un formato stampabile.
 
 Dato l'uso intensivo di vari pacchetti e le dimensioni del tutto, per
 poter compilare il testo completo di GaPiL occorre aumentare le
@@ -15,26 +15,14 @@ pool_size = 250000
 pool_free = 15000
 stack_size = 500
 
-Fatto questo con make si puo` ottenere tutto. 
-
-A seconda dell'ultima cosa che ho fatto sul CVS si puo` trovare una
-versione di gapil.tex adattata per generare HTML leggibile, piuttosto
-che gli ordinari PS e PDF.
-
-Nel primo caso sono commentate le due righe:
-%\usepackage{mdwlist}              % scommentare per la stampa (PS e PDF)
-%\usepackage{boxedminipage}        % scommentare per la stampa (PS e PDF)
-mentre e` scommentata la riga:
-\include{compatib}    % commentare per la stampa PS e PDF
-
-Di norma make genera le figure (in eps e pdf da dia), purche' si sia
-in X (dia non puo` essere lanciato altrimenti per convertire i .dia in
-.eps), poi passa alla generazione di HTML con latex2html.
+(queste istruzioni possono non essere piu` necessarie con le
+distribuzioni piu` recenti)
 
+Fatto questo con make si puo` ottenere tutto. 
 
+Di norma make genera le figure (in eps e pdf da dia).
 
-Se si vuole generare PDF o PS occorrono (verificato che gapil.tex e`
-nel formato corretto) i comandi:
+Se si vuole generare PDF o PS occorrono i comandi:
 
 PS:
 latex gapil
@@ -42,7 +30,5 @@ dvips gapil
 
 PDF
 pdflatex gapil
-e pigiare invio agli avvertimenti sui colori.
-
-(prima si devono aver generato le figure con make)
 
+(prima si devono generare le figure con make)