and --dir-file actually has the same effect as another option.
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>
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.
$menuentry="";
$description="";
-$infodir="";
$sectionre="";
$sectiontitle="";
$infoentry="";