diff options
| author | Michael Olbrich <m.olbrich@pengutronix.de> | 2017-09-04 14:58:41 +0200 |
|---|---|---|
| committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2017-09-04 15:04:24 +0200 |
| commit | 544adf7f06857a2edc9a16745f3f482066f03c69 (patch) | |
| tree | 3d3a02947b8e2444ae59aa6985e4b6539dad8fa3 /Makefile.in | |
| parent | e7f80eb3b6c47750699fdb59350fe2b6f5577d8d (diff) | |
| download | ptxdist-544adf7f06857a2edc9a16745f3f482066f03c69.tar.gz ptxdist-544adf7f06857a2edc9a16745f3f482066f03c69.tar.xz | |
Makefile.in: fix manpage rule to report errors from RST2MAN
Signed-off-by: Michael Olbrich <m.olbrich@pengutronix.de>
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index f55642388..f454cbd1a 100644 --- a/Makefile.in +++ b/Makefile.in @@ -76,9 +76,13 @@ environment: @echo " done" man: man/ptxdist.1.gz -man/ptxdist.1.gz: doc/ptxdist.man doc/ref_parameter.inc +man/ptxdist.1: doc/ptxdist.man doc/ref_parameter.inc @mkdir -pv man - $(RST2MAN) $< 2>/dev/null | gzip > $@ + $(RST2MAN) $< $@ + +.INTERMEDIATE: man/ptxdist.1 +man/ptxdist.1.gz: man/ptxdist.1 + gzip $< clean: @rm -f .done |