--- /dev/null
+%************************************************************************
+%* *
+\section[mkworld-install-ghc]{Installation stuff for @ghc@ project}
+%* *
+%************************************************************************
+
+NONE.