diff options
| -rw-r--r-- | doc/src/sgml/refentry.sgml | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/doc/src/sgml/refentry.sgml b/doc/src/sgml/refentry.sgml index 90fdf754263..720d8bd1b7f 100644 --- a/doc/src/sgml/refentry.sgml +++ b/doc/src/sgml/refentry.sgml @@ -1,18 +1 @@ <!doctype refentry PUBLIC "-//Davenport//DTD DocBook V3.0//EN"> - -<!-- Keep this comment at the end of the file -Local variables: -mode: sgml -sgml-omittag:nil -sgml-shorttag:t -sgml-minimize-attributes:nil -sgml-always-quote-attributes:t -sgml-indent-step:1 -sgml-indent-data:t -sgml-parent-document:nil -sgml-default-dtd-file:"./reference.ced" -sgml-exposed-tags:nil -sgml-local-catalogs:"/usr/lib/sgml/CATALOG" -sgml-local-ecat-files:nil -End: ---> |