From 0fcd7ab743048d79e9316f4b298a5c25bb825b59 Mon Sep 17 00:00:00 2001 From: simonmar Date: Mon, 1 Jul 2002 15:19:48 +0000 Subject: [PATCH] [project @ 2002-07-01 15:19:48 by simonmar] set $(INSTALL_SGML_DOC) --- ghc/docs/users_guide/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/ghc/docs/users_guide/Makefile b/ghc/docs/users_guide/Makefile index a45ac78..71d4636 100644 --- a/ghc/docs/users_guide/Makefile +++ b/ghc/docs/users_guide/Makefile @@ -6,6 +6,7 @@ install :: html dvi info endif SGML_DOC = users_guide +INSTALL_SGML_DOC = users_guide # Generating index is semi-automatic, you need to: # -- 1.7.10.4