From 880653d31a8f1ff8384fdbc75b84934bceecfdb8 Mon Sep 17 00:00:00 2001 From: Sven Gothel Date: Sat, 18 Nov 2000 06:43:49 +0000 Subject: Initial revision --- docs-src/UpdateHtml | 38 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) create mode 100755 docs-src/UpdateHtml (limited to 'docs-src/UpdateHtml') diff --git a/docs-src/UpdateHtml b/docs-src/UpdateHtml new file mode 100755 index 0000000..f8cf882 --- /dev/null +++ b/docs-src/UpdateHtml @@ -0,0 +1,38 @@ +#! /bin/sh + +LATEX=latex +DVIPS=dvips +PS2PDF=ps2pdf +LATEX2HTML=latex2html + +echo Argument = $1 +echo using tools : $LATEX $LATEX2HTML + +if [ \( "$1" = "GL4Java" \) -o \( -z "$1" \) ] ; then + rm -rf GL4Java + rm -f *.log *.aux *.toc *.dvi *.ps + $LATEX GL4Java.tex + $LATEX GL4Java.tex + $LATEX GL4Java.tex + $DVIPS GL4Java.dvi + mv GL4Java.ps ../docs/. + $LATEX2HTML -html_version 4.0,table,math,i18n -prefix "glj_" \ + -show_section_numbers \ + -split +2 \ + -index GL4Java.html \ + -contents GL4Java.html \ + -no_footnode \ + -iso_language EN \ + GL4Java.tex + cd GL4Java + rm -f .* + rm -f *.pl + rm -f *.log *.aux *.toc *.dvi + cd .. + rm -f *.log *.aux *.toc *.dvi *.ps + cp -rf GL4Java/glj_* GL4Java/GL4Java.html ../docs/html/. + cp -rf GL4Java/GL4Java.css ../docs/html/. + rm -rf GL4Java +fi + +rm -f *.log *.aux -- cgit v1.2.3