diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2022-06-19 17:45:43 +0200 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2022-06-19 17:45:43 +0200 |
| commit | 2c9cfc21ab438d5854dc20392f895ef788c94ea5 (patch) | |
| tree | 4bf38b86b09d8cc663faf02edf224d81ae38f393 | |
| parent | schemas.xml: Add copyright and license notice (diff) | |
| download | nxml-gentoo-schemas-2c9cfc21ab438d5854dc20392f895ef788c94ea5.tar.gz nxml-gentoo-schemas-2c9cfc21ab438d5854dc20392f895ef788c94ea5.tar.bz2 nxml-gentoo-schemas-2c9cfc21ab438d5854dc20392f895ef788c94ea5.zip | |
devbook.rnc: Update from devmanual
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
| -rw-r--r-- | devbook.rnc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devbook.rnc b/devbook.rnc index 4ca931d..9fe44b8 100644 --- a/devbook.rnc +++ b/devbook.rnc @@ -107,7 +107,7 @@ e = element e { inline } d = element d { empty } uri = element uri { - # uri can have either an URI in the body text or a link attribute + # uri can have either a URI in the body text or a link attribute xsd:anyURI | (attribute link { text }, inline) } |