X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=README;h=58b4bb53b6c1b9e099db2c544c505f7a090ae752;hp=11dd99dbcc9371d104833fee1a2afc81b222d0fb;hb=fa15a3f1ecd64efd8440e46d398fd9976abc3d25;hpb=e7c1eaebbc012ee182a8d82fc75968969549821d diff --git a/README b/README index 11dd99d..58b4bb5 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 @@ -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)