+++ /dev/null
-TOP = ../..
-include $(TOP)/mk/boilerplate.mk
-
-ifneq "$(strip $(XSLTPROC))" ""
-
-# The commands which should be mentioned in the man page
-GHC_COMMANDS = ghc ghci
-
-# The man page we are generating
-MAN_PAGE = ghc
-
-# The manual section
-MAN_SECTION = 1
-
-CLEAN_FILES += $(MAN_PAGE).$(MAN_SECTION) flags.xsl flags.xml
-
-ifneq "$(DOING_BIN_DIST)" "YES"
-
-all:: $(MAN_PAGE).$(MAN_SECTION)
-
-$(MAN_PAGE).$(MAN_SECTION): flags.xsl flags.xml
- $(XSLTPROC) $(XSLTPROC_OPTS) flags.xsl flags.xml > $@
-
-# Insert the commands and the library directory into the man page
-flags.xsl: gen_flags.xsl.pl
- $(PERL) gen_flags.xsl.pl "$(GHC_COMMANDS)" "$(libdir)" > $@
-
-# Re-use the flags documentation from the user's guide by injecting some
-# entities after the XML declaration to make it a stand-alone document.
-flags.xml: ../users_guide/flags.xml
- $(RM) $@
- head -n 1 $< >> $@
- echo "<!DOCTYPE sect1 [<!ENTITY ndash \"-\"> \
- <!ENTITY ldquo \"\`\"> \
- <!ENTITY rdquo \"'\">]>" >> $@
- # "sed 1d" == "tail -n +2", but Solaris apparently rejects the latter
- sed 1d $< >> $@
-
-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)
-
-endif
-
-include $(TOP)/mk/bindist.mk
-
-include $(TOP)/mk/target.mk