X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=docs%2Fman%2FMakefile;fp=docs%2Fman%2FMakefile;h=63875daedd8a1a0e7a54dfba6a94e2fe1a77e686;hp=0000000000000000000000000000000000000000;hb=501f3c52a3fd0ce238d6be1bcc72a6c53c8e9d37;hpb=07be901da936ec4a503a514b02c6d247f533b963 diff --git a/docs/man/Makefile b/docs/man/Makefile new file mode 100644 index 0000000..63875da --- /dev/null +++ b/docs/man/Makefile @@ -0,0 +1,51 @@ +TOP = ../.. +include $(TOP)/mk/boilerplate.mk + +GHC_COMMANDS=ghc ghci + +UNCENSORED_MANPAGES=ghc.1 + +ifeq '$(GhcManpages)' 'YES' +MANPAGES=$(UNCENSORED_MANPAGES) +else +MANPAGES= +endif + +boot: + @: + +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 + $(XSLTPROC) $(XSLTPROC_OPTS) flags.xsl flags.xml > $@ + +flags.xsl: gen_flags.xsl.pl + perl gen_flags.xsl.pl "$(GHC_COMMANDS)" "$(libdir)" > $@ + +flags.xml: ../users_guide/flags.xml + rm -f $@ + head -1 $< >> $@ + echo " \ + \ + ]>" >> $@ + tail -n +2 $< >> $@ + +# The work for installing + +.PHONY: install-% + +install-mandir: + $(INSTALL_DIR) $(mandir) + +install-%: install-mandir $* + $(INSTALL_MAN) $* $(mandir) +