From 367f3b15d7226353531c867f656d0348802f61a6 Mon Sep 17 00:00:00 2001 From: dan Date: Wed, 12 Apr 2000 21:37:51 -0700 Subject: [PATCH] [svn] Makefile (install.wgetrc): I completely missed the message that the new wgetrc wasn't being installed the first couple of times I ran `make install' after changing sample.wgetrc. Added blank lines around the message and a "", and reworded the message to be a bit more clear. --- doc/ChangeLog | 6 ++++++ doc/Makefile.in | 10 +++++++--- 2 files changed, 13 insertions(+), 3 deletions(-) diff --git a/doc/ChangeLog b/doc/ChangeLog index e3606943..543deee6 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -1,5 +1,11 @@ 2000-04-12 Dan Harkless + * Makefile (install.wgetrc): I completely missed the message that + the new wgetrc wasn't being installed the first couple of times I + ran `make install' after changing sample.wgetrc. Added blank + lines around the message and a "", and + reworded the message to be a bit more clear. + * sample.wgetrc: Added entries for backup_converted and waitretry. * wget.texi (waitretry): Herold Heiko 's diff --git a/doc/Makefile.in b/doc/Makefile.in index 9f4fc5d0..a392f915 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -105,9 +105,13 @@ install.wgetrc: else \ echo ' $(INSTALL_DATA) $(srcdir)/sample.wgetrc $(WGETRC).new'; \ $(INSTALL_DATA) $(srcdir)/sample.wgetrc $(WGETRC).new; \ - echo "WARNING: File \`$(WGETRC)' already exists and is spared."; \ - echo " You might want to consider \`$(WGETRC).new',"; \ - echo " and merge both into \`$(WGETRC)', for the best."; \ + echo; \ + echo "WARNING: Differing \`$(WGETRC)' already exists and"; \ + echo " has been spared. You might want to consider"; \ + echo " merging in the new lines from \`$(WGETRC).new'."; \ + echo; \ + echo "\c"; \ + read user_input; \ fi; \ else \ $(INSTALL_DATA) $(srcdir)/sample.wgetrc $(WGETRC); \