annotate dtd/error.dtd @ 2927:decdcc6e9938

NGINX Agent promo.
author Konstantin Pavlov <thresh@nginx.com>
date Fri, 06 Jan 2023 14:21:09 -0800
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 >