X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=README;h=58b4bb53b6c1b9e099db2c544c505f7a090ae752;hp=cdfa3ea835b355e92771f20bd561078c753a8089;hb=d44259cffb0d41ed62ec80f7d653bd7606894866;hpb=4693c008411fc78ee1df605820a151d0adfa5c18

diff --git a/README b/README
index cdfa3ea..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
@@ -42,12 +30,5 @@ dvips gapil
 
 PDF
 pdflatex gapil
-e pigiare invio agli avvertimenti sui colori.
-
-(prima si devono aver generato le figure con make)
-
-Attenzione: a partire da fine Ottobre 2002, per un motivo che non sono
-ancora riuscito a capire, viene generato un errore alla fine del file
-session.tex. Il codice e` corretto, cio` non ostante latex si ferma ed
-occorre farlo proseguire premendo invio.
 
+(prima si devono generare le figure con make)