view dtd/menu.dtd @ 1302:1560fda31645

Removed the "pgp keys" link from the main menu. There's already one on the "security advisories" page, which should be enough.
author Valentin Bartenev <vbart@nginx.com>
date Fri, 26 Sep 2014 16:43:05 +0400
parents e159f385c62b
children
line wrap: on
line source

<!--
  Copyright (C) Igor Sysoev
  Copyright (C) Nginx, Inc.
  -->

<!ELEMENT  menus        (menu+) >

<!ELEMENT  menu         (item+) >
<!ATTLIST  menu
           lang         CDATA #REQUIRED
>

<!ELEMENT  item         (#PCDATA) >
<!ATTLIST  item
           href         CDATA #IMPLIED
           lang         CDATA #IMPLIED
           year         CDATA #IMPLIED
           switchlang   CDATA #IMPLIED
>