diff --git a/doc/manual/options-to-docbook.xsl b/doc/manual/options-to-docbook.xsl
index 2e139378e1d..71844cbd2b7 100644
--- a/doc/manual/options-to-docbook.xsl
+++ b/doc/manual/options-to-docbook.xsl
@@ -10,6 +10,7 @@
+
@@ -29,10 +30,37 @@
-
-
-
+
+
+
+
+
+
+
+ Default:
+
+
+
+
+
+
+
+ none
+
+
+
+
+
+
+ Example:
+
+
+
+
+
+
+
@@ -43,5 +71,61 @@
+
+
+
+
+ ""
+
+
+
+
+
+
+
+
+
+ true
+
+
+
+
+ false
+
+
+
+
+ [
+
+
+
+
+ ]
+
+
+
+
+ {
+
+
+ =
+
+ ;
+
+ }
+
+
+
+
+
+
+ (download of )
+
+
+ (build of )
+
+
+
+