diff --git a/doc/manual/options-to-docbook.xsl b/doc/manual/options-to-docbook.xsl index 74fb2705..703a12ca 100644 --- a/doc/manual/options-to-docbook.xsl +++ b/doc/manual/options-to-docbook.xsl @@ -19,7 +19,15 @@