Allow xml:space='preserve' on verbatim environments

diff --git a/docbook/relaxng/src/pool.rnc b/docbook/relaxng/src/pool.rnc
index e651d9c507b0c15e03ada5e11f8bc91b2140f3d9..b4bb42256ac3161d405b1488d65691b2ffb26d77 100644 (file)
--- a/docbook/relaxng/src/pool.rnc
+++ b/docbook/relaxng/src/pool.rnc
@@ -208,7 +208,8 @@ db.verbatim.attributes =
   attribute continuation { "continues" | "restarts" }?,
   attribute linenumbering { "numbered" | "unnumbered" }?,
   attribute startinglinenumber { xsd:integer }?,
-  attribute language { text }?
+  attribute language { text }?,
+  attribute xml:space { "preserve" }?
 
 # ======================================================================
 
@@ -229,6 +230,7 @@ db.biblio.class-enum.attribute =
    attribute class {
       "doi"
     | "isbn"
+    | "isrn"
     | "issn"
     | "libraryofcongress"
     | "pubnumber"