mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-05-23 21:10:29 +02:00
fix web.texi
* doc/ref/web.texi: Texinfo syntax fixen!
This commit is contained in:
parent
299cd1a229
commit
ac7f17e3ca
1 changed files with 3 additions and 3 deletions
|
@ -48,7 +48,7 @@ Guile provides a standard data type for Universal Resource Identifiers
|
||||||
The generic URI syntax is as follows:
|
The generic URI syntax is as follows:
|
||||||
|
|
||||||
@example
|
@example
|
||||||
URI := scheme ":" ["//" [userinfo "@"] host [":" port]] path \
|
URI := scheme ":" ["//" [userinfo "@@"] host [":" port]] path \
|
||||||
[ "?" query ] [ "#" fragment ]
|
[ "?" query ] [ "#" fragment ]
|
||||||
@end example
|
@end example
|
||||||
|
|
||||||
|
@ -59,7 +59,7 @@ fragment.
|
||||||
Userinfo is something of an abstraction, as some legacy URI schemes
|
Userinfo is something of an abstraction, as some legacy URI schemes
|
||||||
allowed userinfo of the form @code{@var{username}:@var{passwd}}.
|
allowed userinfo of the form @code{@var{username}:@var{passwd}}.
|
||||||
Passwords don't belong in URIs, so the RFC does not want to condone
|
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
|
just a username, so the RFC punts on the issue and calls it
|
||||||
@dfn{userinfo}.
|
@dfn{userinfo}.
|
||||||
|
|
||||||
|
@ -84,7 +84,7 @@ consistency checks to make sure that the constructed URI is valid.
|
||||||
@end defun
|
@end defun
|
||||||
|
|
||||||
@defun uri? x
|
@defun uri? x
|
||||||
@defun uri-scheme uri
|
@defunx uri-scheme uri
|
||||||
@defunx uri-userinfo uri
|
@defunx uri-userinfo uri
|
||||||
@defunx uri-host uri
|
@defunx uri-host uri
|
||||||
@defunx uri-port uri
|
@defunx uri-port uri
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue