From 727a0e70e57a203e727646e96eb1369ef6787cca Mon Sep 17 00:00:00 2001 From: Norman Walsh Date: Tue, 8 Feb 2005 03:34:36 +0000 Subject: [PATCH] Added db.os.inlines to computeroutput and userinput --- docbook/relaxng/src/pool.rnc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docbook/relaxng/src/pool.rnc b/docbook/relaxng/src/pool.rnc index 5f5067b33..76565ad2f 100644 --- a/docbook/relaxng/src/pool.rnc +++ b/docbook/relaxng/src/pool.rnc @@ -4829,7 +4829,7 @@ div { # ====================================================================== -db.computeroutput.inlines = db._text +db.computeroutput.inlines = text | db.ubiq.inlines | db.os.inlines # ====================================================================== @@ -5950,7 +5950,7 @@ div { # ====================================================================== -db.userinput.inlines = db._text +db.userinput.inlines = text | db.ubiq.inlines | db.os.inlines # ====================================================================== -- 2.50.1