view dtd/menu.dtd @ 2662:e4d370d43176

Linux packages: removed apt-key usage to import gpg keys on Debian/Ubuntu. apt-key is deprecated since 2017 and will be removed after Debian 11 and Ubuntu 22.04. All distributions since at least 2013 support storing trusted keys in /etc/apt/trusted.gpg.d/ instead, so using it should be safe. A special workaround is added for Ubuntu 16.04 shipping gnupg 2.1, which is not compatible with the CLI invocation we use.
author Konstantin Pavlov <thresh@nginx.com>
date Wed, 17 Feb 2021 16:39:40 +0300
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
>