diff options
-rw-r--r-- | doc/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile index 70378e4839e..b1ede39e6c8 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -4,7 +4,7 @@ # # Copyright (c) 1994, Regents of the University of California # -# $Header: /cvsroot/pgsql/doc/Makefile,v 1.23 2002/07/28 15:19:59 petere Exp $ +# $Header: /cvsroot/pgsql/doc/Makefile,v 1.23.2.1 2002/11/27 23:21:20 tgl Exp $ # #---------------------------------------------------------------------------- @@ -53,7 +53,7 @@ man$(sqlmansect_dummy)/.timestamp: man.tar.gz for file in man1/*.1; do \ mv $$file $$file.bak && \ sed -e 's/\\fR($(sqlmansect_dummy))/\\fR($(sqlmansectnum))/' $$file.bak >$$file && \ - rm $$file.bak || exit; \ + rm -f $$file.bak || exit; \ done @echo timestamp >$@ |