Fix missing escape.

diff --git a/ChangeLog b/ChangeLog
index 53539b3..3b20da4 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2007-04-03  Bruno Haible  <bruno@clisp.org>
+
+       * doc/gnulib.texi: Escape @.
+
 2007-04-03  James Youngman  <jay@gnu.org>
        and Paul Eggert  <eggert@cs.ucla.edu>
 

diff --git a/doc/gnulib.texi b/doc/gnulib.texi
index 2299ed9..294dc73 100644 (file)
--- a/doc/gnulib.texi
+++ b/doc/gnulib.texi
@@ -1,5 +1,5 @@
 \input texinfo   @c -*-texinfo-*-
-@comment $Id: gnulib.texi,v 1.35 2007-03-31 12:34:55 haible Exp $
+@comment $Id: gnulib.texi,v 1.36 2007-04-03 22:45:13 haible Exp $
 @comment %**start of header
 @setfilename gnulib.info
 @settitle GNU Gnulib
@@ -7,7 +7,7 @@
 @syncodeindex pg cp
 @comment %**end of header
 
-@set UPDATED $Date: 2007-03-31 12:34:55 $
+@set UPDATED $Date: 2007-04-03 22:45:13 $
 
 @copying
 This manual is for GNU Gnulib (updated @value{UPDATED}),
@@ -402,7 +402,7 @@ creates a directory 'logs/' with a log file for each module.
 Submit each log file to Simon's site, either through a
 
 @example
-mail `echo gnulib__at__autobuild.josefsson.org | sed -e s/__at__/@/`
+mail `echo gnulib__at__autobuild.josefsson.org | sed -e s/__at__/@@/`
 @end example
 
 or through netcat