From f3f277c12842a1bf92a39a2b15ca652f1376b6c9 Mon Sep 17 00:00:00 2001 From: Michael Olbrich Date: Mon, 18 Feb 2019 10:40:44 +0100 Subject: Makefile: overwrite existing man-page file Without this, gzip will ask before overwriting the file. Signed-off-by: Michael Olbrich --- Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile.in') 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 -- cgit v1.2.3