]> git.donarmstrong.com Git - debian/debian-policy.git/commitdiff
there is no id in a footnote?
authorManoj Srivastava <srivasta@debian.org>
Thu, 16 Jun 2005 05:35:04 +0000 (05:35 +0000)
committerManoj Srivastava <srivasta@debian.org>
Thu, 16 Jun 2005 05:35:04 +0000 (05:35 +0000)
Author: srivasta
Date: 2002/11/15 06:49:40
there is no id in a footnote?

git-archimport-id: srivasta@debian.org--etch/debian-policy--devel--3.0--patch-157

policy.sgml

index e795e6b7485170d9aba1f5f6008c3c93f7d7e0ed..034a09ec8e9636763992766199c89a01bd125420 100644 (file)
@@ -7584,7 +7584,7 @@ install-info --quiet --remove /usr/share/info/foobar.info
        <p>
          Packages must not require the existance of any files in
          <file>/usr/share/doc/</file> in order to function
-         <footnote id="rationale">
+         <footnote>
            <p>
              The system administrator should be able to
              delete files in <file>/usr/share/doc/</file> without causing