projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
[project @ 2004-06-06 11:44:37 by panne]
[ghc-hetmet.git]
/
ghc
/
docs
/
ext-core
/
Makefile
diff --git
a/ghc/docs/ext-core/Makefile
b/ghc/docs/ext-core/Makefile
index
6828d80
..
bd03ea6
100644
(file)
--- a/
ghc/docs/ext-core/Makefile
+++ b/
ghc/docs/ext-core/Makefile
@@
-2,7
+2,6
@@
dvi: core.dvi
ps: core.ps
-html:
core.dvi: core.tex prims.tex
latex core.tex
@@
-31,8
+30,11
@@
distclean: clean
maintainer-clean: distclean
+# dummy targets
all:
-
boot:
+install:
+install-docs:
+html:
# End of file