diff --git a/src/docbook/master.xml b/src/docbook/master.xml index 0442b8ba5f..3cb705fbac 100644 --- a/src/docbook/master.xml +++ b/src/docbook/master.xml @@ -25,6 +25,9 @@ + +