projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
850ea79
)
[project @ 2000-11-27 10:54:35 by rrt]
author
rrt
<unknown>
Mon, 27 Nov 2000 10:54:35 +0000
(10:54 +0000)
committer
rrt
<unknown>
Mon, 27 Nov 2000 10:54:35 +0000
(10:54 +0000)
Added hevea.
mk/config.mk.in
patch
|
blob
|
history
diff --git
a/mk/config.mk.in
b/mk/config.mk.in
index
146addc
..
f6a798a
100644
(file)
--- a/
mk/config.mk.in
+++ b/
mk/config.mk.in
@@
-599,6
+599,7
@@
INSTALL = @INSTALL@
#
INSTALL := $(subst .././install-sh,$(FPTOOLS_TOP_ABS)/install-sh,$(INSTALL))
LATEX = latex
+LATEX2HTML = hevea
LN_S = @LN_S@
MANMACROS = -man
MSMACROS = -ms