Parcourir la source

Slightly over-keen patch to install-info, $infodir is prepared earlier
and --dir-file actually has the same effect as another option.

Scott James Remnant il y a 22 ans
Parent
commit
ae342cda6a
3 fichiers modifiés avec 2 ajouts et 3 suppressions
  1. 1 1
      ChangeLog
  2. 1 1
      debian/changelog
  3. 0 1
      scripts/install-info.pl

+ 1 - 1
ChangeLog

@@ -1,6 +1,6 @@
 Sun Apr 25 18:02:34 BST 2004 Scott James Remnant <scott@netsplit.com>
 
-  * scripts/install-info.pl: Add gndn --dir-file option for compatibility
+  * scripts/install-info.pl: Add --dir-file option for compatibility
   with GNU install-info.  Correct code to break infinite loop.
 
 Sun Apr 25 17:57:46 BST 2004 Scott James Remnant <scott@netsplit.com>

+ 1 - 1
debian/changelog

@@ -23,7 +23,7 @@ dpkg (1.10.21) unstable; urgency=low
     Closes: #161156.
   * Correctly break out of the loop in install-info.
     Closes: #124225, #160761.
-  * Add ignored --dir-file option to install-info for GNU install-info
+  * Add --dir-file option to install-info for GNU install-info
     compatibility.  Closes: #179192
   * Refer to debian-policy in dpkg-doc's description instead of the
     non-existant packaging-manual.  Closes: #120970.

+ 0 - 1
scripts/install-info.pl

@@ -37,7 +37,6 @@ $default='/usr/share/base-files/info.dir';
 
 $menuentry="";
 $description="";
-$infodir="";
 $sectionre="";
 $sectiontitle="";
 $infoentry="";