From 0fbbe3e90ccf7af533b66f0d3893981ed1676ada Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Tue, 5 May 2009 09:20:09 +0000 Subject: [PATCH] docbook PDF item is done --- ghc.mk | 1 - 1 file changed, 1 deletion(-) diff --git a/ghc.mk b/ghc.mk index d30573b..5961ae3 100644 --- a/ghc.mk +++ b/ghc.mk @@ -45,7 +45,6 @@ # * libraries/Makefile # * rts/dotnet/Makefile # * utils/Makefile -# * docbook PDFs, e.g. "dblatex -T db2latex users_guide.xml" # * GhcProfiled # * optionally install stage3? # * shared libraries, way dyn -- 1.7.10.4