From: Ian Lynagh <igloo@earth.li>
Date: Sat, 10 Nov 2007 17:13:28 +0000 (+0000)
Subject: Support more doc targets (html, pdf, etc) in the libraries Makefile
X-Git-Tag: 2007-11-11~3
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=cea73c10e1c6fd7a874dca190d353f5eac6c7bf6;ds=sidebyside

Support more doc targets (html, pdf, etc) in the libraries Makefile
---

diff --git a/libraries/Makefile b/libraries/Makefile
index e9f90d3..9dc67d2 100644
--- a/libraries/Makefile
+++ b/libraries/Makefile
@@ -285,7 +285,9 @@ $(foreach SUBDIR,$(SUBDIRS),$(SUBDIR)/GNUmakefile):\
 	   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
@@ -393,3 +395,10 @@ binary-dist.library.%:
 	     \( \( -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:
+	@:
+