From 8621a8af4120ea048b7e07c74c87ee6305f4172a Mon Sep 17 00:00:00 2001 From: Greg Schueler Date: Mon, 23 Jan 2012 13:29:51 -0800 Subject: [PATCH] Fix manpage makefiles to generate .gz files --- docs/en/manpages/man1/Makefile | 17 ++++++++++++----- docs/en/manpages/man5/Makefile | 16 ++++++++++++---- 2 files changed, 24 insertions(+), 9 deletions(-) diff --git a/docs/en/manpages/man1/Makefile b/docs/en/manpages/man1/Makefile index 552e579fb88..2bcae25c2b0 100644 --- a/docs/en/manpages/man1/Makefile +++ b/docs/en/manpages/man1/Makefile @@ -4,16 +4,23 @@ DIST = ../../dist MANSFX=1 .SUFFIXES: .1 .PHONY: all +PAGES = *.md -all: roff +all: roff manpages -PAGES = *.md +manpages: $(patsubst %.md,%.1.gz,$(wildcard $(PAGES))) + +%.1.gz: %.1 + gzip < $< > $@ -roff : +%.1: %.md + sed "s/@VERSION@/$(VERSION)/" $*.md | pandoc -s -w man -o $@ + +roff : $(ECHO) Generating system man pages mkdir -p $(DIST)/man/man1 -for f in $(PAGES); do ( sed "s/$${VERSION}/$(VERSION)/" $$f | $(PANDOC) -s -w man -o $(DIST)/man/man1/$${f%.md}.$(MANSFX); ); done clean : - rm -rf $(DIST)/man/man1 - + @rm -rf $(DIST)/man/man1 + @rm *.gz diff --git a/docs/en/manpages/man5/Makefile b/docs/en/manpages/man5/Makefile index 615519765cc..dcaf5dcf21b 100644 --- a/docs/en/manpages/man5/Makefile +++ b/docs/en/manpages/man5/Makefile @@ -7,13 +7,21 @@ MANSFX=5 PAGES = *.md -all: roff +all: roff manpages -roff : +manpages: $(patsubst %.md,%.5.gz,$(wildcard $(PAGES))) + +%.5.gz: %.5 + gzip < $< > $@ + +%.5: %.md + sed "s/@VERSION@/$(VERSION)/" $*.md | pandoc -s -w man -o $@ + +roff : $(ECHO) Generating system man pages mkdir -p $(DIST)/man/man5 -for f in $(PAGES); do ( $(PANDOC) -s -w man $$f -o $(DIST)/man/man5/$${f%.md}.$(MANSFX); ); done clean : - rm -rf $(DIST)/man/man5 - + @rm -rf $(DIST)/man/man5 + @rm *.gz