Added spacing attribute to variablelist

diff --git a/docbook/relaxng/src/pool.rnc b/docbook/relaxng/src/pool.rnc
index 0577ab5c58860bdfda35febda332df7cb2a757e5..8339818cf3f267396451a53a33d73f9558ea90f7 100644 (file)
--- a/docbook/relaxng/src/pool.rnc
+++ b/docbook/relaxng/src/pool.rnc
@@ -1753,6 +1753,7 @@ div {
       variablelist.role.attribute?
     & common.attributes
     & common.linking.attributes
+    & spacing.attribute?
     & attribute termlength { text }?
     & local.variablelist.attributes