From: Paul Eggert <eggert@cs.ucla.edu>
Date: Thu, 6 Sep 2007 18:14:05 +0000 (+0000)
Subject: * build-aux/bootstrap: Remove obsolete comment about wget --help.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8a145af9257da899a6198c940a5ab8c769feae86;p=pspp

* build-aux/bootstrap: Remove obsolete comment about wget --help.
---

diff --git a/ChangeLog b/ChangeLog
index 46bfd343f4..3355515d28 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2007-09-06  Paul Eggert  <eggert@cs.ucla.edu>
+
+	* build-aux/bootstrap: Remove obsolete comment about wget --help.
+
 2007-09-06  Yoann Vandoorselaere  <yoann.v@prelude-ids.com>
 
 	* m4/time_h.m4 (gl_CHECK_TYPE_STRUCT_TIMESPEC): Fix misspelling
diff --git a/build-aux/bootstrap b/build-aux/bootstrap
index 295e92a3e9..e574039770 100755
--- a/build-aux/bootstrap
+++ b/build-aux/bootstrap
@@ -23,7 +23,6 @@ nl='
 '
 
 # Ensure file names are sorted consistently across platforms.
-# Also, ensure diagnostics are in English, e.g., "wget --help" below.
 LC_ALL=C
 export LC_ALL