summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex4ht/base/unix/tex4ht.env
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex4ht/base/unix/tex4ht.env')
-rw-r--r--Master/texmf-dist/tex4ht/base/unix/tex4ht.env4
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