From 7fb62235894afc93c0bf71cfd02e3e0d79a66147 Mon Sep 17 00:00:00 2001
From: Norman Walsh <ndw@nwalsh.com>
Date: Tue, 25 May 2004 11:28:39 +0000
Subject: [PATCH] Added spacing attribute to variablelist

---
 docbook/relaxng/src/pool.rnc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docbook/relaxng/src/pool.rnc b/docbook/relaxng/src/pool.rnc
index 0577ab5c5..8339818cf 100644
--- 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
 
-- 
2.40.0