chapter: user: atchar is LaTeX, @@ is Texinfo.

Signed-off-by: Nils Gillmann <ng0@n0.is>

diff --git a/doc/documentation/chapters/user.texi b/doc/documentation/chapters/user.texi
index 6063392ac7f7e9d1c7a67160794a3934914c0929..db96585ecbb3b2a27089749fa133f2fa9a508a5c 100644 (file)
--- a/doc/documentation/chapters/user.texi
+++ b/doc/documentation/chapters/user.texi
@@ -1646,7 +1646,7 @@ GNS currently supports the following record types:
 
 A NICK record is used to give a zone a name. With a NICK record, you can
 essentially specify how you would like to be called. GNS expects this
-record under the empty label ``@atchar{}'' in the zone's database (NAMESTORE); however,
+record under the empty label ``@@'' in the zone's database (NAMESTORE); however,
 it will then automatically be copied into each record set, so that
 clients never need to do a separate lookup to discover the NICK record.
 Also, users do not usually have to worry about setting the NICK record:
@@ -1655,7 +1655,7 @@ it is automatically set to the local name of the TLD.
 @b{Example}@
 
 @example
-Name: @atchar{}; RRType: NICK; Value: bob
+Name: @@; RRType: NICK; Value: bob
 @end example
 
 @noindent