diff options
| author | Sven Gothel <[email protected]> | 2000-11-18 06:43:49 +0000 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2000-11-18 06:43:49 +0000 |
| commit | 880653d31a8f1ff8384fdbc75b84934bceecfdb8 (patch) | |
| tree | bdafb71416f176d2a4b73bf716c9dc3f13685a8b /docs-src/UpdateHtml | |
Initial revision
Diffstat (limited to 'docs-src/UpdateHtml')
| -rwxr-xr-x | docs-src/UpdateHtml | 38 |
1 files changed, 38 insertions, 0 deletions
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 |