LATEX=latex
LATEX2HTML=latex2html
DVIPS=dvips
 
echo Argument = $1
echo using tools : $LATEX $LATEX2HTML

rm -rf JavaDevEnv
$LATEX JavaDevEnv.tex
$LATEX JavaDevEnv.tex
$LATEX JavaDevEnv.tex
$LATEX2HTML -html_version 4.0,table,i18n -prefix "jde_" \
	    -show_section_numbers \
	    -split +1 \
	    -index JavaDevEnv.html \
	    -contents JavaDevEnv.html \
	    -no_footnode \
	    -iso_language EN \
	    JavaDevEnv.tex
cd JavaDevEnv
rm -f .*
rm -f *.pl
rm -f *.log *.tex *.aux
cd ..
cp -rf JavaDevEnv/jde_* JavaDevEnv/JavaDevEnv.html ../resources/docs/.
cp -rf JavaDevEnv/JavaDevEnv.css ../resources/docs/.
rm -rf JavaDevEnv

rm -f *.log *.aux