From: Karl Berry <karl@freefriends.org>
Date: Tue, 15 May 2012 16:09:31 +0000 (-0700)
Subject: autoupdate
X-Git-Tag: v0.1~670
X-Git-Url: http://erislabs.net/gitweb/?a=commitdiff_plain;h=4b43b0c056870b819bfa114bc62889c3e0ed8f2e;hp=5e3f9fb1457299215f1777603ef9d3e2f81986ff;p=gnulib.git

autoupdate
---

diff --git a/doc/maintain.texi b/doc/maintain.texi
index 7cff84273..5ec711e75 100644
--- a/doc/maintain.texi
+++ b/doc/maintain.texi
@@ -5,7 +5,7 @@
 @c For double-sided printing, uncomment:
 @c @setchapternewpage odd
 @c This date is automagically updated when you save this file:
-@set lastupdate May 13, 2012
+@set lastupdate May 14, 2012
 @c %**end of header
 
 @dircategory GNU organization
@@ -2232,6 +2232,7 @@ When referring to the collection of servers that is the higher level
 of the GNU kernel, please call it ``the Hurd'' or ``the GNU Hurd''.
 Note that this uses a space, not a slash.
 
+
 @node Interviews and Speeches
 @chapter Interviews and Speeches
 
@@ -2251,16 +2252,16 @@ these basic questions:
 @itemize @bullet
 @item
 What GNU is (an operating system developed to be Unix-like and totally
-free software).  It is good to mention @url{gnu.org}.
+free software).  It is good to mention @url{http://www.gnu.org}.
 
 @item
 What free software is (the users control it, so it doesn't control
 them).  It is good to state the four freedoms and/or refer to
-@url{gnu.org/philosophy/free-sw.html}.
+@url{http://www.gnu.org/philosophy/free-sw.html}.
 
 @item
 What GNU/Linux is (Linux filled the last gap in GNU).  It is useful to
-refer to @url{gnu.org/gnu/linux-and-gnu.html}.
+refer to @url{http://www.gnu.org/gnu/linux-and-gnu.html}.
 
 @item
 What the GNU Project is (the project to develop GNU).