X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=htmlize.sh;fp=htmlize.sh;h=77f40d2920e6ec8e9bf49504fc6473d0b0e5e070;hp=0000000000000000000000000000000000000000;hb=ba43899e603914d20c33b929f10764fb12f32b0c;hpb=c09cd30d45162e3248a33baefb7a28feb8e1487a diff --git a/htmlize.sh b/htmlize.sh new file mode 100644 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 ..