Use "wget -O" to prevent wget from avoiding overwrite of existing

file and creating new one with same name and auto-number suffix.

diff --git a/contrib/doc/michael.smith/tbl/Makefile b/contrib/doc/michael.smith/tbl/Makefile
index 423914b0b22f520e71c3fa98cf8e6b6714d69de6..46d99bdecda3010d8998701a3f034056aea867c8 100644 (file)
--- a/contrib/doc/michael.smith/tbl/Makefile
+++ b/contrib/doc/michael.smith/tbl/Makefile
@@ -16,7 +16,7 @@ PS2PDFFLAGS=
 all: tbl.txt tbl.pdf
 
 tbl:
-       $(WGET) $(WGETFLAGS) $(TBLSOURCE)
+       $(WGET) $(WGETFLAGS) -O $@ $(TBLSOURCE)
 
 tbl.txt: tbl
        cat $< \