Inserita la generazione dell'HTML dei listati e corretta una label duplicata,
authorSimone Piccardi <piccardi@gnulinux.it>
Wed, 23 Apr 2003 22:09:52 +0000 (22:09 +0000)
committerSimone Piccardi <piccardi@gnulinux.it>
Wed, 23 Apr 2003 22:09:52 +0000 (22:09 +0000)
aggiunto Mirko come webmaster nella generazione della versione HTML

Makefile
elemtcp.tex
htmlize.sh

index 570d4c7..a6a12e6 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
 
index 45584ea..5aa601f 100644 (file)
@@ -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
index 77f40d2..21873bc 100644 (file)
@@ -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