diff options
Diffstat (limited to 'ghc/docs/users_guide/Makefile')
| -rw-r--r-- | ghc/docs/users_guide/Makefile | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/ghc/docs/users_guide/Makefile b/ghc/docs/users_guide/Makefile deleted file mode 100644 index f0a31fb705..0000000000 --- a/ghc/docs/users_guide/Makefile +++ /dev/null @@ -1,7 +0,0 @@ -TOP = ../.. -include $(TOP)/mk/boilerplate.mk - -XML_DOC = users_guide -INSTALL_XML_DOC = users_guide - -include $(TOP)/mk/target.mk |