diff options
Diffstat (limited to 'docs-src/UpdateHtml')
| -rwxr-xr-x | docs-src/UpdateHtml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/docs-src/UpdateHtml b/docs-src/UpdateHtml index f8cf882..b8b8bfb 100755 --- a/docs-src/UpdateHtml +++ b/docs-src/UpdateHtml @@ -2,6 +2,7 @@ LATEX=latex DVIPS=dvips +DVIPDF=dvipdfm PS2PDF=ps2pdf LATEX2HTML=latex2html @@ -15,7 +16,8 @@ if [ \( "$1" = "GL4Java" \) -o \( -z "$1" \) ] ; then $LATEX GL4Java.tex $LATEX GL4Java.tex $DVIPS GL4Java.dvi - mv GL4Java.ps ../docs/. + $DVIPDF -p a4 -r 600 GL4Java.dvi + mv GL4Java.pdf ../docs/. $LATEX2HTML -html_version 4.0,table,math,i18n -prefix "glj_" \ -show_section_numbers \ -split +2 \ |