diff options
Diffstat (limited to 'docs/man/Makefile')
| -rw-r--r-- | docs/man/Makefile | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/docs/man/Makefile b/docs/man/Makefile index 7fa112d82c..71644ca28c 100644 --- a/docs/man/Makefile +++ b/docs/man/Makefile @@ -45,11 +45,7 @@ install-docs:: $(MAN_PAGE).$(MAN_SECTION) endif -binary-dist:: $(MAN_PAGE).$(MAN_SECTION) - $(MKDIRHIER) $(BIN_DIST_DIR)/docs/man - cp Makefile $(BIN_DIST_DIR)/docs/man/ -ifneq "$(strip $(XSLTPROC))" "" - cp $(MAN_PAGE).$(MAN_SECTION) $(BIN_DIST_DIR)/docs/man/ -endif +BINDIST_EXTRAS += $(MAN_PAGE).$(MAN_SECTION) +include $(TOP)/mk/bindist.mk include $(TOP)/mk/target.mk |