diff options
| author | Ian Lynagh <igloo@earth.li> | 2007-10-23 23:46:24 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2007-10-23 23:46:24 +0000 |
| commit | 4217c6caef9f6d261df1449c590331878a493f14 (patch) | |
| tree | 328da29981b6149db8b308df37cb3b77e9ad00a4 /docs/man | |
| parent | dc5fc2a6d44009577f5d1ba6a403ed5e1ab22af5 (diff) | |
| download | haskell-4217c6caef9f6d261df1449c590331878a493f14.tar.gz | |
Fix installing the documentation in the bindists
Diffstat (limited to 'docs/man')
| -rw-r--r-- | docs/man/Makefile | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/docs/man/Makefile b/docs/man/Makefile index ab20fde7b1..047a348d20 100644 --- a/docs/man/Makefile +++ b/docs/man/Makefile @@ -12,6 +12,8 @@ MAN_SECTION = 1 CLEAN_FILES += $(MAN_PAGE).$(MAN_SECTION) flags.xsl flags.xml +ifneq "$(DOING_BIN_DIST)" "YES" + $(MAN_PAGE).$(MAN_SECTION): flags.xsl flags.xml $(XSLTPROC) $(XSLTPROC_OPTS) flags.xsl flags.xml > $@ @@ -29,9 +31,16 @@ flags.xml: ../users_guide/flags.xml <!ENTITY rdquo \"'\">]>" >> $@ tail -n +2 $< >> $@ +endif + install-docs:: $(MAN_PAGE).$(MAN_SECTION) $(INSTALL_DIR) $(DESTDIR)$(mandir) $(INSTALL_DIR) $(DESTDIR)$(mandir)/man$(MAN_SECTION) $(INSTALL_MAN) $(INSTALL_OPTS) $(MAN_PAGE).$(MAN_SECTION) $(DESTDIR)$(mandir)/man$(MAN_SECTION) +binary-dist:: $(MAN_PAGE).$(MAN_SECTION) + $(MKDIRHIER) $(BIN_DIST_DIR)/docs/man + cp Makefile $(BIN_DIST_DIR)/docs/man/ + cp $(MAN_PAGE).$(MAN_SECTION) $(BIN_DIST_DIR)/docs/man/ + include $(TOP)/mk/target.mk |