commit | 66f68e716ba29bf333cb0c83d401b7a06afe2197 | [log] [tgz] |
---|---|---|
author | Daniel Veillard <veillard@src.gnome.org> | Mon Aug 18 16:39:51 2003 +0000 |
committer | Daniel Veillard <veillard@src.gnome.org> | Mon Aug 18 16:39:51 2003 +0000 |
tree | 84c800e0eb1683a81bd8ea7fe6dee701ee21119b | |
parent | 2fdbd32d514c8b9d166a80564aca3426ec9cfdb2 [diff] [blame] |
added option --dtdvalidfpi for Tobias Reif Daniel * xmllint.c doc/xmllint.xml doc/xmllint.1: added option --dtdvalidfpi for Tobias Reif Daniel
diff --git a/doc/xml.html b/doc/xml.html index dcb7d6e..4b25a4c 100644 --- a/doc/xml.html +++ b/doc/xml.html
@@ -451,7 +451,7 @@ <p></p> -<h2><a name="Documentat">Developer Documentation</a></h2> +<h2><a name="Documentat">Developer Menu</a></h2> <p>There are several on-line resources related to using libxml:</p> <ol>