diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/ext-core/Makefile | 3 | ||||
| -rw-r--r-- | docs/man/Makefile | 1 | ||||
| -rw-r--r-- | docs/users_guide/ghc.mk | 7 |
3 files changed, 7 insertions, 4 deletions
diff --git a/docs/ext-core/Makefile b/docs/ext-core/Makefile index c4db587289..8d97588389 100644 --- a/docs/ext-core/Makefile +++ b/docs/ext-core/Makefile @@ -50,9 +50,6 @@ distclean: clean maintainer-clean: distclean -ifeq "$(LATEX_DOCS)" "YES" -BINDIST_EXTRAS += core.pdf -endif include $(TOP)/mk/bindist.mk # dummy targets diff --git a/docs/man/Makefile b/docs/man/Makefile index e4e0c33f04..21e60e2df8 100644 --- a/docs/man/Makefile +++ b/docs/man/Makefile @@ -45,7 +45,6 @@ install-docs:: $(MAN_PAGE).$(MAN_SECTION) endif -BINDIST_EXTRAS += $(MAN_PAGE).$(MAN_SECTION) include $(TOP)/mk/bindist.mk include $(TOP)/mk/target.mk diff --git a/docs/users_guide/ghc.mk b/docs/users_guide/ghc.mk new file mode 100644 index 0000000000..bae39adce8 --- /dev/null +++ b/docs/users_guide/ghc.mk @@ -0,0 +1,7 @@ + +docs/users_guide_DOCBOOK_SOURCES := \ + $(wildcard docs/users_guide/*.xml) \ + $(basename $(wildcard docs/users_guide/*.xml.in)) + +$(eval $(call docbook,docs/users_guide,users_guide)) + |