From: Simone Piccardi Date: Tue, 27 Aug 2002 16:05:04 +0000 (+0000) Subject: Aggiunto README e programmino per il test di gethostbyname e getaddrinfo X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=commitdiff_plain;h=e7c1eaebbc012ee182a8d82fc75968969549821d;hp=07d6f8f2907315b4004b4f612110247ba1eabdbc Aggiunto README e programmino per il test di gethostbyname e getaddrinfo --- diff --git a/README b/README new file mode 100644 index 0000000..11dd99d --- /dev/null +++ b/README @@ -0,0 +1,48 @@ +GaPiL - Istruzioni per la "compilazione" +------- + +Dato che il testo e` scritto in LaTeX e` necessario "compilarlo" per +poter ottenre 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 +risorse che LaTeX alloca per il funzionamento, in particolare deve +essere editato il file texmf.cnf (in /etc/texmf, su Debian) settando i +seguenti valori: + +hash_extra = 10000 +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. + + + +Se si vuole generare PDF o PS occorrono (verificato che gapil.tex e` +nel formato corretto) i comandi: + +PS: +latex gapil +dvips gapil + +PDF +pdflatex gapil +e pigiare invio agli avvertimenti sui colori. + +(prima si devono aver generato le figure con make) + diff --git a/html/index.html b/html/index.html index 52a7fec..b2f4b19 100644 --- a/html/index.html +++ b/html/index.html @@ -6,7 +6,8 @@ - +