diff options
author | Bruno Haible <bruno@clisp.org> | 2007-04-03 22:45:13 +0000 |
---|---|---|
committer | Bruno Haible <bruno@clisp.org> | 2007-04-03 22:45:13 +0000 |
commit | b51e3ab01fc3838b8d1148697a41eb5488ee81be (patch) | |
tree | e5b377a067b4304debc970ff63cde2a62e34dde7 /doc | |
parent | 5f36abda12027c6538e832bb262d87fe669c48f8 (diff) | |
download | gnulib-b51e3ab01fc3838b8d1148697a41eb5488ee81be.tar.gz |
Fix missing escape.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/gnulib.texi | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/gnulib.texi b/doc/gnulib.texi index 2299ed9e99..294dc736b4 100644 --- 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 |