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:
bc82548
)
Support more doc targets (html, pdf, etc) in the libraries Makefile
author
Ian Lynagh
<igloo@earth.li>
Sat, 10 Nov 2007 17:13:28 +0000
(17:13 +0000)
committer
Ian Lynagh
<igloo@earth.li>
Sat, 10 Nov 2007 17:13:28 +0000
(17:13 +0000)
libraries/Makefile
patch
|
blob
|
history
diff --git
a/libraries/Makefile
b/libraries/Makefile
index
e9f90d3
..
9dc67d2
100644
(file)
--- a/
libraries/Makefile
+++ b/
libraries/Makefile
@@
-285,7
+285,9
@@
$(foreach SUBDIR,$(SUBDIRS),$(SUBDIR)/GNUmakefile):\
cd $* && setup/Setup makefile -f GNUmakefile; \
fi
cd $* && setup/Setup makefile -f GNUmakefile; \
fi
-.PHONY: doc
+.PHONY: doc html
+
+html: doc
doc: $(foreach SUBDIR,$(SUBDIRS),doc.library.$(SUBDIR))
sh gen_contents_index --inplace
doc: $(foreach SUBDIR,$(SUBDIRS),doc.library.$(SUBDIR))
sh gen_contents_index --inplace
@@
-393,3
+395,10
@@
binary-dist.library.%:
\( \( -name "*.o" -o -name "*.p_o" \) -a ! -name "HS*" \) \
-exec rm {} \; ; \
fi
\( \( -name "*.o" -o -name "*.p_o" \) -a ! -name "HS*" \) \
-exec rm {} \; ; \
fi
+
+# Ignore some doc targets that we don't support
+# The root recurses into us when these targets are made
+.PHONY: html-no-chunks chm HxS fo dvi ps pdf
+html-no-chunks chm HxS fo dvi ps pdf:
+ @:
+