diff options
Diffstat (limited to 'ghc/docs/Jmakefile')
-rw-r--r-- | ghc/docs/Jmakefile | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/ghc/docs/Jmakefile b/ghc/docs/Jmakefile index 9e9510cac4..ca56ede272 100644 --- a/ghc/docs/Jmakefile +++ b/ghc/docs/Jmakefile @@ -7,15 +7,7 @@ #define NoInstallTargetForSubdirs #define NoTagTargetForSubdirs -SUBDIRS = add_to_compiler \ - users_guide \ +SUBDIRS = users_guide \ install_guide \ release_notes \ state_interface - -XCOMM developers_guide ? -XCOMM interfaces ? -XCOMM pragmas ? - -XCOMM grasp_overview ? -XCOMM style_guide ? |