X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fman%2FMakefile;h=45de7436d2b1e78799f693eff9b3d9d45a91441f;hb=51dec67c5368ca5d7ff44237dec51a826210c681;hp=63875daedd8a1a0e7a54dfba6a94e2fe1a77e686;hpb=501f3c52a3fd0ce238d6be1bcc72a6c53c8e9d37;p=ghc-hetmet.git diff --git a/docs/man/Makefile b/docs/man/Makefile index 63875da..45de743 100644 --- a/docs/man/Makefile +++ b/docs/man/Makefile @@ -1,51 +1,37 @@ TOP = ../.. include $(TOP)/mk/boilerplate.mk -GHC_COMMANDS=ghc ghci +# The commands which should be mentioned in the man page +GHC_COMMANDS = ghc ghci -UNCENSORED_MANPAGES=ghc.1 +# The man page we are generating +MAN_PAGE = ghc -ifeq '$(GhcManpages)' 'YES' -MANPAGES=$(UNCENSORED_MANPAGES) -else -MANPAGES= -endif +# The manual section +MAN_SECTION = 1 -boot: - @: +CLEAN_FILES += $(MAN_PAGE).$(MAN_SECTION) flags.xsl flags.xml -all: $(MANPAGES) - @: - -install: $(addprefix install-,$(MANPAGES)) - @: - -clean: - rm -f flags.xml flags.xsl $(UNCENSORED_MANPAGES) - -# The work for building - -ghc.1: flags.xsl flags.xml +$(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 -f $@ - head -1 $< >> $@ + $(RM) $@ + head -n 1 $< >> $@ echo " \ \ ]>" >> $@ tail -n +2 $< >> $@ -# The work for installing - -.PHONY: install-% - -install-mandir: +install-docs:: $(MAN_PAGE).$(MAN_SECTION) $(INSTALL_DIR) $(mandir) + $(INSTALL_DIR) $(mandir)/man$(MAN_SECTION) + $(INSTALL_MAN) $(INSTALL_OPTS) $(MAN_PAGE).$(MAN_SECTION) $(mandir)/man$(MAN_SECTION) -install-%: install-mandir $* - $(INSTALL_MAN) $* $(mandir) - +include $(TOP)/mk/target.mk