Aggiunto il materiale di Mirko per la realizzazione dell'HTML.

[gapil.git] / htmlize.sh

diff --git a/htmlize.sh b/htmlize.sh
new file mode 100644 (file)
index 0000000..77f40d2
--- /dev/null
+++ b/htmlize.sh
@@ -0,0 +1,66 @@
+#!/bin/sh
+## htmlize.sh
+##
+## Copyright (C) 2003 Mirko Maischberger.  
+#*   This program is free software; you can redistribute it and/or modify
+#*   it under the terms of the GNU General Public License as published by
+#*   the Free Software Foundation; either version 2 of the License, or
+#*   (at your option) any later version.
+#*
+#*   This program is distributed in the hope that it will be useful,
+#*   but WITHOUT ANY WARRANTY; without even the implied warranty of
+#*   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+#*   GNU General Public License for more details.
+#*
+#*   You should have received a copy of the GNU General Public License
+#*   along with this program; if not, write to the Free Software
+#*   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  
+#*   02111-1307  USA
+##
+## Script per la compilazione del GaPiL con htlatex
+## ./htmlize.sh   
+##    genera i file HTML ed estrae le immagini
+##
+## ./htmlize.sh  -p
+##    genera i file HTML ma non estrae le immagini
+##
+## $id$
+## 
+
+# compila usando il file di configurazione htgapil.cfg
+htlatex gapil htgapil " " "$1"
+
+# rimuove gli width e height dalle immagini, l'impostazione
+# di default di htlatex (che non so cambiare) è di usare la
+# dimesione dell'immagine in punti pica.
+perl -i.orig -pe 's/width=\".*\"//i' *.html
+perl -i.orig -pe 's/height=\".*\"//i' *.html
+perl -i.orig -pe 's/width=\".*\"//i' *.html
+perl -i.orig -pe 's/height=\".*\"//i' *.html
+
+# ripristina il backslash negli esempi di codice HTML
+perl -i.orig -pe 's/INSERT_BACKSLASH_MAGIC8745/\\/g' *.html
+
+# sostitiusci il colore delle note (mouseover)
+perl -i.orig -pe 's/:aqua/:#fcc/g' *.css
+
+# sposta e pulisci
+mv *.html htgapil
+mv *.png htgapil
+mv *.js htgapil
+mv *.css htgapil
+# - rm *.html~
+# - rm *.html.orig
+
+# piccola gabola per immagini mal convertite da htlatex
+convert -density 110x110 -geometry 70% img/tcpip_overview.ps htgapil/gapil117x.png
+convert -density 110x110 -geometry 50% img/iso_tcp_comp.ps htgapil/gapil114x.png
+convert -density 110x110 -geometry 50% img/tcp_data_flux.ps htgapil/gapil116x.png
+
+cd htgapil
+# wwis è uno script che riscrive width e height 
+# corretti nelle immagini
+wwwis *.html
+# pulizia
+# - rm *~
+cd ..