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
 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=$@
 
 $(PDF_IMG): %.pdf: %.ps
        epstopdf $< --outfile=$@


@@ -20,7 +29,6 @@ gapil.tgz: $(SOURCE) sources/Makefile
        tar -cvz -f $@ $^
 
 htm: *.tex
        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/
 
        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 \
        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.
 
 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
 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.}
   \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
 \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
 ##
 ## ./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
 ## 
 
 # compila usando il file di configurazione htgapil.cfg