+#if 0
+%************************************************************************
+%* *
+\section[mkworld-install-ghc]{Installation stuff for @ghc@ project}
+%* *
+%************************************************************************
+
+NONE.
+#endif