Added db.technical.inlines and db.markup.inlines to userinput and computeroutput

diff --git a/docbook/relaxng/src/pool.rnc b/docbook/relaxng/src/pool.rnc
index 76565ad2f92e536d7e17d288d9f8003186035d31..a098f3da1f0e16a861572123962f647bd4836fde 100644 (file)
--- a/docbook/relaxng/src/pool.rnc
+++ b/docbook/relaxng/src/pool.rnc
@@ -4829,7 +4829,12 @@ div {
 
 # ======================================================================
 
-db.computeroutput.inlines = text | db.ubiq.inlines | db.os.inlines
+db.computeroutput.inlines =
+   text
+ | db.ubiq.inlines
+ | db.os.inlines
+ | db.technical.inlines
+ | db.markup.inlines
 
 # ======================================================================
 
@@ -5950,7 +5955,12 @@ div {
 
 # ======================================================================
 
-db.userinput.inlines = text | db.ubiq.inlines | db.os.inlines
+db.userinput.inlines =
+   text
+ | db.ubiq.inlines
+ | db.os.inlines
+ | db.technical.inlines
+ | db.markup.inlines
 
 # ======================================================================