X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=README;h=329c28e1059e32f8f67eb52e6730b3d14abc0fca;hp=11dd99dbcc9371d104833fee1a2afc81b222d0fb;hb=8bfe80f7fe2470bf0a26d656b281ea44c69d8fe5;hpb=e7c1eaebbc012ee182a8d82fc75968969549821d

diff --git a/README b/README
index 11dd99d..329c28e 100644
--- 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
@@ -17,24 +17,9 @@ 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.
+Di norma make genera le figure (in eps e pdf da dia).
 
-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.
-
-
-
-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 +27,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)