Inserita la generazione dell'HTML dei listati e corretta una label duplicata,

aggiunto Mirko come webmaster nella generazione della versione HTML

diff --git a/Makefile b/Makefile
index 570d4c70e9efd42a83940fd7e2ec4943d79560cf..a6a12e61889e38ba04174ede07fc04c91ff72c9b 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -3,9 +3,18 @@ PS_IMG = $(SOURCE_IMG:.dia=.ps)
 EPS_IMG = $(SOURCE_IMG:.dia=.eps)
 PDF_IMG = $(SOURCE_IMG:.dia=.pdf)
 SOURCE =  $(wildcard sources/*.c) $(wildcard sources/*.h) sources/Makefile
+CODE_C =  $(wildcard listati/*.c) 
+CODE_H =  $(wildcard listati/*.h)
+HTML_C =  $(CODE_C:.c=.c.html) 
+HTML_H =  $(CODE_H:.h=.h.html) 
 
+all: $(PDF_IMG) gapil.tgz $(HTML_C) $(HTML_H) #htm 
 
-all: $(PDF_IMG) gapil.tgz htm 
+$(HTML_C):  %.c.html: %.c
+       source-highlight -f html -s cpp $<
+
+$(HTML_H):  %.h.html: %.h
+       source-highlight -f html -s cpp $<
 
 $(PDF_IMG): %.pdf: %.ps
        epstopdf $< --outfile=$@
@@ -20,7 +29,6 @@ gapil.tgz: $(SOURCE) sources/Makefile
        tar -cvz -f $@ $^
 
 htm: *.tex
-       latex2html -local_icons -no_math -no_footnode gapil.tex
        scp -r gapil/* piccardi@firenze.linux.it:public_html/gapil/html
        scp gapil.p* piccardi@firenze.linux.it:public_html/gapil/
 
@@ -39,5 +47,5 @@ install:
        scp html/*.html piccardi@firenze.linux.it:public_html/gapil/
 clean: 
        rm -f *.dvi *.log *.ps *.html *.aux *.toc *.rel *.ilg *.rip *.ind \
-       *.pdf  *.out *.idx *~
+       *.pdf  *.out *.idx *~ listati/*.html img/*.ps img/*.pdf
 

diff --git a/elemtcp.tex b/elemtcp.tex
index 45584ea5abfda94052f09bf69721bea2f881e6dc..5aa601f3a778c759399bd5d7aa8809313c1f9f11 100644 (file)
--- a/elemtcp.tex
+++ b/elemtcp.tex
@@ -1380,7 +1380,7 @@ gestione della comunicazione. Si 
 dell'esempio precedente in forma concorrente, inserendo anche una opzione per
 la stampa degli indirizzi delle connessioni ricevute.
 
-In \figref{fig:TCP_serv_code} è mostrato un estratto del codice, in cui si
+In \figref{fig:TCP_cunc_serv_code} è mostrato un estratto del codice, in cui si
 sono tralasciati il trattamento delle opzioni e le parti rimaste invariate
 rispetto al precedente esempio (cioè tutta la parte riguardante l'apertura
 passiva del socket). Al solito il sorgente completo del server
@@ -1395,7 +1395,7 @@ esempi.
   \normalsize
   \caption{Esempio di codice di un server concorrente elementare per il 
     servizio daytime.}
-  \label{fig:TCP_serv_code}
+  \label{fig:TCP_cunc_serv_code}
 \end{figure}
 
 Stavolta (\texttt{\small 21--25}) la funzione \func{accept} è chiamata

diff --git a/htmlize.sh b/htmlize.sh
index 77f40d2920e6ec8e9bf49504fc6473d0b0e5e070..21873bcf3ee3ec7656b0762dcc596fdf3b926ae5 100644 (file)
--- a/htmlize.sh
+++ b/htmlize.sh
@@ -24,7 +24,7 @@
 ## ./htmlize.sh  -p
 ##    genera i file HTML ma non estrae le immagini
 ##
-## $id$
+## $Id: htmlize.sh,v 1.2 2003/04/23 22:09:52 piccardi Exp $
 ## 
 
 # compila usando il file di configurazione htgapil.cfg