diff options
Diffstat (limited to 'ghc/docs/users_guide/Jmakefile')
| -rw-r--r-- | ghc/docs/users_guide/Jmakefile | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/ghc/docs/users_guide/Jmakefile b/ghc/docs/users_guide/Jmakefile index 018e0e1b2d..e2fa72bd5d 100644 --- a/ghc/docs/users_guide/Jmakefile +++ b/ghc/docs/users_guide/Jmakefile @@ -1,6 +1,3 @@ -LitStuffNeededHere(docs depend) -InfoStuffNeededHere(docs) - LiterateSuffixRules() DocProcessingSuffixRules() |