view dtd/article.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 05761a8e38f6
children
line wrap: on
line source

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

<!ELEMENT  article      (section+) >
<!ATTLIST  article
           name         CDATA #REQUIRED
           link         CDATA #REQUIRED
           lang         CDATA #REQUIRED
           rev          CDATA #IMPLIED
           author       CDATA #IMPLIED
           editor       CDATA #IMPLIED
           translator   CDATA #IMPLIED
           toc          (yes | no) "yes"
>

<!ENTITY % content      SYSTEM  "content.dtd" >
          %content;