diff --git a/doc/manual/options-to-docbook.xsl b/doc/manual/options-to-docbook.xsl index 3516a043900b..696c16c8648d 100644 --- a/doc/manual/options-to-docbook.xsl +++ b/doc/manual/options-to-docbook.xsl @@ -23,9 +23,9 @@