annotate dtd/error.dtd @ 1993:98b713b0a9fa

Language and style fixes in development guide.
author Roman Arutyunyan <arut@nginx.com>
date Tue, 30 May 2017 14:30:04 +0300
parents be54c443235a
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
580
be54c443235a Added copyright markers to documentation sources.
Ruslan Ermilov <ru@nginx.com>
parents: 123
diff changeset
1 <!--
be54c443235a Added copyright markers to documentation sources.
Ruslan Ermilov <ru@nginx.com>
parents: 123
diff changeset
2 Copyright (C) Nginx, Inc.
be54c443235a Added copyright markers to documentation sources.
Ruslan Ermilov <ru@nginx.com>
parents: 123
diff changeset
3 -->
be54c443235a Added copyright markers to documentation sources.
Ruslan Ermilov <ru@nginx.com>
parents: 123
diff changeset
4
75
2bf4cd2787c5 Added DTDs to make xmllint happy.
Maxim Dounin <mdounin@mdounin.ru>
parents:
diff changeset
5 <!ELEMENT error EMPTY >
2bf4cd2787c5 Added DTDs to make xmllint happy.
Maxim Dounin <mdounin@mdounin.ru>
parents:
diff changeset
6 <!ATTLIST error
123
7db449e89e92 Unified the use of the "name" attribute instead of "title".
Ruslan Ermilov <ru@nginx.com>
parents: 75
diff changeset
7 name CDATA #REQUIRED
75
2bf4cd2787c5 Added DTDs to make xmllint happy.
Maxim Dounin <mdounin@mdounin.ru>
parents:
diff changeset
8 link CDATA #REQUIRED
2bf4cd2787c5 Added DTDs to make xmllint happy.
Maxim Dounin <mdounin@mdounin.ru>
parents:
diff changeset
9 lang CDATA #REQUIRED
2bf4cd2787c5 Added DTDs to make xmllint happy.
Maxim Dounin <mdounin@mdounin.ru>
parents:
diff changeset
10 >