From: Russ Allbery <rra@debian.org> Date: Mon, 10 Aug 2009 20:23:34 +0000 (-0700) Subject: Fix the footnote on modifying Texinfo source for dir information X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=462d3174a950aa7b5b479ddfc8c73db27ec7973a;p=debian%2Fdebian-policy.git Fix the footnote on modifying Texinfo source for dir information The footnote about how to modify the Texinfo source to add the necessary info directory information ended two lines before it should. Thanks, Raphaƫl Hertzog. --- diff --git a/policy.sgml b/policy.sgml index 4076b85..30c9ced 100644 --- a/policy.sgml +++ b/policy.sgml @@ -8882,9 +8882,9 @@ END-INFO-DIR-ENTRY * example: (example). An example info directory entry. @end direntry </example> + to the Texinfo source of the document and ensure that the info + documents are rebuilt from source during the package build. </footnote> - to the Texinfo source of the document and ensure that the info - documents are rebuilt from source during the package build. </p> </sect>