diff options
author | Sven Gothel <[email protected]> | 2001-07-24 12:07:18 +0000 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2001-07-24 12:07:18 +0000 |
commit | 3583101e586a6fe3306f84d4d34ee764596e0632 (patch) | |
tree | d5c228654f882fa0f0c6214e6d4866ce44181b89 /docs-src | |
parent | c9eae90cb823d918ecc4bf5afa73ce3a0859d578 (diff) |
optimized context switchingrel-2-8-0-0-prerelease-3
Diffstat (limited to 'docs-src')
-rwxr-xr-x | docs-src/UpdateHtml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs-src/UpdateHtml b/docs-src/UpdateHtml index b8b8bfb..d133843 100755 --- a/docs-src/UpdateHtml +++ b/docs-src/UpdateHtml @@ -16,7 +16,7 @@ if [ \( "$1" = "GL4Java" \) -o \( -z "$1" \) ] ; then $LATEX GL4Java.tex $LATEX GL4Java.tex $DVIPS GL4Java.dvi - $DVIPDF -p a4 -r 600 GL4Java.dvi + $DVIPDF -p a4 -r 600 -z 9 GL4Java.dvi mv GL4Java.pdf ../docs/. $LATEX2HTML -html_version 4.0,table,math,i18n -prefix "glj_" \ -show_section_numbers \ |