X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=README;h=58b4bb53b6c1b9e099db2c544c505f7a090ae752;hp=e9cca70686f571bbbc1b7475e96a70a394c59c1d;hb=26f7a8bb19c6cb198c213757a97b6ac79e40db4b;hpb=dc185040ca2e11aa51540bca530914f6bc11619d

diff --git a/README b/README
index e9cca70..58b4bb5 100644
--- a/README
+++ b/README
@@ -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