docbook PDF item is done

diff --git a/ghc.mk b/ghc.mk
index d30573b..5961ae3 100644 (file)
--- 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