#!/bin/bash echo some clean up find ./ -name "*~" -exec rm {} \; #echo regenerating cvs in text and pdf and ps format #for i in $( ls cv*html); #do # html2text -nobs -style compact $i > $( basename $i .shtml).txt # html2ps -U -s .7 -u -x 1 $i > $(basename $i .shtml).ps #echo utilise alambic / mozilla. # html2ps -f html2psrc -s 0.7 -x1 -u -U $i > $(basename $i .shtml).ps # ps2pdf $(basename $i .shtml).ps #done echo regenerating script samples cp indenteverything.sh indenteverything.sh.txt cp misc/link/genindex.pl misc/link/genindex.pl.txt cp genall.sh genall.sh.txt for id in $( ls -d ./misc/photo4/* ); do pushd "$id"; ./genall.sh popd done echo regenerating indexes pushd AMTIO/doc ./genindex.sh popd pushd misc/photo ./genall.sh popd pushd misc/photo2 ./genall.sh popd pushd log/ ./genindex.sh popd pushd misc echo in misc ./genall.sh popd pushd text echo in text ./genindex.sh popd pushd misc/notice echo in notice ./genindex.sh popd #TEMPORAIRE echo temporaire : slides pushd text/tmp/slides/ ./genall.sh popd echo regenerating the CSS ./updatecss.sh echo beautifying eveything ./indenteverything.sh if [ -z $1 ]; then echo gziping and copying .. #find ./ -name "*.html" -exec gzip -f {} \; -print updatewww.sh echo gunziping #find ./ -name "*.html.gz" -exec gunzip -f {} \; -print fi popd