[project @ 1996-11-21 16:45:53 by simonm]

[ghc-hetmet.git] / ghc / mkworld / install-ghc.jm

diff --git a/ghc/mkworld/install-ghc.jm b/ghc/mkworld/install-ghc.jm
deleted file mode 100644 (file)
index abcb916..0000000
--- a/ghc/mkworld/install-ghc.jm
+++ /dev/null
@@ -1,9 +0,0 @@
-#if 0
-%************************************************************************
-%*                                                                     *
-\section[mkworld-install-ghc]{Installation stuff for @ghc@ project}
-%*                                                                     *
-%************************************************************************
-
-NONE.
-#endif