From 205dd209291a7fd889546882592404967e37a7a7 Mon Sep 17 00:00:00 2001
From: Norman Walsh <ndw@nwalsh.com>
Date: Thu, 27 Sep 2007 12:43:15 +0000
Subject: [PATCH] Fix RFE 1800916: Allow keycap etc. in userinput

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

diff --git a/docbook/relaxng/docbook/src/pool.rnc b/docbook/relaxng/docbook/src/pool.rnc
index 671121d93..20b93ce01 100644
--- a/docbook/relaxng/docbook/src/pool.rnc
+++ b/docbook/relaxng/docbook/src/pool.rnc
@@ -6840,6 +6840,8 @@ db.userinput.inlines =
  | db.os.inlines
  | db.technical.inlines
  | db.markup.inlines
+ | db.keyboard.inlines
+ | db.gui.inlines
 
 # ======================================================================
 
-- 
2.40.0