X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fman%2FMakefile;h=71644ca28c1342ab0946eee2cdd7166fe11172a3;hb=4179e02ec7ec7aea79273cdcc166123c2ddd2063;hp=155767e52d262b34fd3412b170542e9803d85741;hpb=160e41ed98615c633be9a7c27ec2f9ed768dae7f;p=ghc-hetmet.git

diff --git a/docs/man/Makefile b/docs/man/Makefile
index 155767e..71644ca 100644
--- a/docs/man/Makefile
+++ b/docs/man/Makefile
@@ -33,7 +33,8 @@ flags.xml: ../users_guide/flags.xml
 	echo "<!DOCTYPE sect1 [<!ENTITY ndash  \"-\"> \
 	                       <!ENTITY ldquo  \"\`\"> \
 	                       <!ENTITY rdquo  \"'\">]>" >> $@
-	tail -n +2 $< >> $@
+	# "sed 1d" == "tail -n +2", but Solaris apparently rejects the latter
+	sed 1d $< >> $@
 
 endif
 
@@ -44,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