Fix up the @setfilename lines.
authorWerner Koch <wk@gnupg.org>
Fri, 15 Oct 2004 09:34:21 +0000 (09:34 +0000)
committerWerner Koch <wk@gnupg.org>
Fri, 15 Oct 2004 09:34:21 +0000 (09:34 +0000)
commit15baf5c05b1f1c21c9a10eeff055b88692f4402b
treecab77bab75ede619adcba0cbf250a90550a61095
parent7a8ebe3db7912ffd094279293ed1030f7ded956c
Fix up the @setfilename lines.
scripts/ChangeLog
scripts/mk-gpg-texi