diff --git a/doc/src/sgml/docguide.sgml b/doc/src/sgml/docguide.sgml index 6ffa85f3be..95d00586aa 100644 --- a/doc/src/sgml/docguide.sgml +++ b/doc/src/sgml/docguide.sgml @@ -272,7 +272,7 @@ CATALOG "docbook/4.2/catalog" available for Debian GNU/Linux. To install, simply use: -apt-get install docbook docbook-dsssl docbook-xsl openjade1.3 xsltproc +apt-get install docbook docbook-dsssl docbook-xsl openjade1.3 xsltproc opensp