# HG changeset patch
# User Rik <rik@octave.org>
# Date 1374174092 25200
# Node ID c6a39f7f193db04bf4d1ef5bf2f44b5026ad082f
# Parent  dd783018709b626611c6359c46166261a0d0cad6
doc: Use '@@' to produce '@' in strings.txi

* doc/interpreter/strings.txi: Use '@@' to produce '@'.

diff -r dd783018709b -r c6a39f7f193d doc/interpreter/strings.txi
--- a/doc/interpreter/strings.txi	Mon Jul 01 19:49:51 2013 +0200
+++ b/doc/interpreter/strings.txi	Thu Jul 18 12:01:32 2013 -0700
@@ -236,7 +236,7 @@
 @example
 @group
 fullname = [fname ".txt"];
-email = ["<" user "@" domain ">"];
+email = ["<" user "@@" domain ">"];
 @end group
 @end example