projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
b965e67
)
[project @ 2000-11-27 11:12:04 by rrt]
author
rrt
<unknown>
Mon, 27 Nov 2000 11:12:04 +0000
(11:12 +0000)
committer
rrt
<unknown>
Mon, 27 Nov 2000 11:12:04 +0000
(11:12 +0000)
Improve hevea (.tex -> .html) rule
mk/suffix.mk
patch
|
blob
|
history
diff --git
a/mk/suffix.mk
b/mk/suffix.mk
index
074b22a
..
51b8fff
100644
(file)
--- a/
mk/suffix.mk
+++ b/
mk/suffix.mk
@@
-209,7
+209,9
@@
endif
%.html : %.tex
@$(RM) $@
- $(LATEX2HTML) $(LATEX2HTML_OPTS) $<
+ $(LATEX2HTML) $(LATEX2HTML_OPTS) $(patsubst %.tex,%.hva,$<) $<
+ $(LATEX2HTML) $(LATEX2HTML_OPTS) $(patsubst %.tex,%.hva,$<) $<
+# Make twice to resolve xrefs
%.rtf : %.sgml
@$(RM) $@