diff --git a/doc/manual/options-to-docbook.xsl b/doc/manual/options-to-docbook.xsl
index 68c3590d45d1..33cc7284f209 100644
--- a/doc/manual/options-to-docbook.xsl
+++ b/doc/manual/options-to-docbook.xsl
@@ -154,7 +154,16 @@
file://
-
+
+
+
+
+
+
+
+
+