diff options
Diffstat (limited to 'Master/texmf-dist/tex4ht/base/unix/tex4ht.env')
-rw-r--r-- | Master/texmf-dist/tex4ht/base/unix/tex4ht.env | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Master/texmf-dist/tex4ht/base/unix/tex4ht.env b/Master/texmf-dist/tex4ht/base/unix/tex4ht.env index 79a018e47dd..2a9fb6fd411 100644 --- a/Master/texmf-dist/tex4ht/base/unix/tex4ht.env +++ b/Master/texmf-dist/tex4ht/base/unix/tex4ht.env @@ -1,5 +1,5 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% tex4ht.env / .tex4ht (unix) 2008-02-26-09:03 % +% tex4ht.env / .tex4ht (unix) 2008-06-28-21:36 % % Copyright (C) 1997--2008 Eitan M. Gurari % % % % This work may be distributed and/or modified under the % @@ -266,6 +266,8 @@ S* </oo> % <javahelp> +.html mv %%1.html %%1.tmp +.html java -classpath %%~/texmf-dist/tex4ht/bin/tex4ht.jar xtpipes -i %%~/texmf-dist/tex4ht/xtpipes/ -s javahelp.4xt -o %%1.html %%1.tmp .jhm echo "java -jar ${HOME}/jh2.0/javahelp/bin/jhindexer.jar -db %%0-doc/%%1-jhs %%1*.html" .jhm echo "--- Warning --- Beware of leftover %%1*.html files from other compilations" .jhm java -jar ${HOME}/jh2.0/javahelp/bin/jhindexer.jar -db %%0-doc/%%1-jhs %%1*.html |