From: Ian Lynagh <igloo@earth.li>
Date: Tue, 9 Sep 2008 11:39:29 +0000 (+0000)
Subject: Add a do-nothing install-docs rule in ext-core/ when LATEX_DOCS=NO
X-Git-Tag: 2008-09-12~19
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=bf1d468cb000a5ed18c2c664c172979bcc372e3b

Add a do-nothing install-docs rule in ext-core/ when LATEX_DOCS=NO
---

diff --git a/docs/ext-core/Makefile b/docs/ext-core/Makefile
index 42c9a8f..cf1c28f 100644
--- a/docs/ext-core/Makefile
+++ b/docs/ext-core/Makefile
@@ -9,6 +9,7 @@ install-docs:
 	cp core.pdf $(docdir)/ext-core/
 else
 all:
+install-docs:
 endif
 
 #	General makefile for Latex stuff