diff options
author | Michael Olbrich <m.olbrich@pengutronix.de> | 2019-02-18 10:40:44 +0100 |
---|---|---|
committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2019-02-19 07:33:03 +0100 |
commit | f3f277c12842a1bf92a39a2b15ca652f1376b6c9 (patch) | |
tree | d0fee4b9f3eed26b3a2a299a9b3a0835f027bbf2 | |
parent | c7949fcac8ac5537d5d8bd4f9eb92e98d4d17b51 (diff) | |
download | ptxdist-f3f277c12842a1bf92a39a2b15ca652f1376b6c9.tar.gz ptxdist-f3f277c12842a1bf92a39a2b15ca652f1376b6c9.tar.xz |
Makefile: overwrite existing man-page file
Without this, gzip will ask before overwriting the file.
Signed-off-by: Michael Olbrich <m.olbrich@pengutronix.de>
-rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index c9163cdc7..31651dbbd 100644 --- a/Makefile.in +++ b/Makefile.in @@ -83,7 +83,7 @@ man/ptxdist.1: doc/ptxdist.man doc/ref_parameter.inc .INTERMEDIATE: man/ptxdist.1 man/ptxdist.1.gz: man/ptxdist.1 - gzip $< + gzip -f $< clean: @rm -f .done |