From ac7f17e3ca30ad965dca6067720cc2a05f35063f Mon Sep 17 00:00:00 2001 From: Andy Wingo Date: Thu, 16 Dec 2010 16:44:44 +0100 Subject: [PATCH] fix web.texi * doc/ref/web.texi: Texinfo syntax fixen! --- doc/ref/web.texi | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/ref/web.texi b/doc/ref/web.texi index efa6ae74c..13ec7a1f1 100644 --- a/doc/ref/web.texi +++ b/doc/ref/web.texi @@ -48,7 +48,7 @@ Guile provides a standard data type for Universal Resource Identifiers The generic URI syntax is as follows: @example -URI := scheme ":" ["//" [userinfo "@"] host [":" port]] path \ +URI := scheme ":" ["//" [userinfo "@@"] host [":" port]] path \ [ "?" query ] [ "#" fragment ] @end example @@ -59,7 +59,7 @@ fragment. Userinfo is something of an abstraction, as some legacy URI schemes allowed userinfo of the form @code{@var{username}:@var{passwd}}. Passwords don't belong in URIs, so the RFC does not want to condone -this, but neither can it say that what is before the @code{@} sign is +this, but neither can it say that what is before the @code{@@} sign is just a username, so the RFC punts on the issue and calls it @dfn{userinfo}. @@ -84,7 +84,7 @@ consistency checks to make sure that the constructed URI is valid. @end defun @defun uri? x -@defun uri-scheme uri +@defunx uri-scheme uri @defunx uri-userinfo uri @defunx uri-host uri @defunx uri-port uri