X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fman%2FMakefile;h=ab20fde7b18ccb35ae575f5e290e58a23fc85ae6;hb=f81df3c6e23b8d7d02eacca3d40974a45c7eb6d6;hp=63875daedd8a1a0e7a54dfba6a94e2fe1a77e686;hpb=501f3c52a3fd0ce238d6be1bcc72a6c53c8e9d37;p=ghc-hetmet.git diff --git a/docs/man/Makefile b/docs/man/Makefile index 63875da..ab20fde 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_DIR) $(mandir) - -install-%: install-mandir $* - $(INSTALL_MAN) $* $(mandir) +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) +include $(TOP)/mk/target.mk