More fixups to help Debian's install-info.
authorWerner Koch <wk@gnupg.org>
Mon, 18 Oct 2004 07:40:11 +0000 (07:40 +0000)
committerWerner Koch <wk@gnupg.org>
Mon, 18 Oct 2004 07:40:11 +0000 (07:40 +0000)
commit901f13aedaca5ef72bcee100780cd58282baf449
tree05ea3e1c50eda813515e02151a8213d2859a3bd8
parentad3382bdc75d9f87707ec8f17cb34fab7a18bc38
More fixups to help Debian's install-info.
scripts/ChangeLog
scripts/mk-gpg-texi