Added db.os.inlines to computeroutput and userinput

diff --git a/docbook/relaxng/src/pool.rnc b/docbook/relaxng/src/pool.rnc
index 5f5067b3381426e74aae48ee77355aead1c91c2d..76565ad2f92e536d7e17d288d9f8003186035d31 100644 (file)
--- 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
 
 # ======================================================================