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

[ghc-hetmet.git] / ghc / docs / Jmakefile

diff --git a/ghc/docs/Jmakefile b/ghc/docs/Jmakefile
deleted file mode 100644 (file)
index ca56ede..0000000
--- a/ghc/docs/Jmakefile
+++ /dev/null
@@ -1,13 +0,0 @@
-#define IHaveSubdirs
-
-/* just documents here */
-#define NoAllTargetForSubdirs
-#define NoDependTargetForSubdirs
-#define NoRunTestsTargetForSubdirs
-#define NoInstallTargetForSubdirs
-#define NoTagTargetForSubdirs
-
-SUBDIRS = users_guide          \
-         install_guide         \
-         release_notes         \
-         state_interface