* mk-gpg-texi: New.
authorWerner Koch <wk@gnupg.org>
Mon, 1 Jul 2002 08:52:54 +0000 (08:52 +0000)
committerWerner Koch <wk@gnupg.org>
Mon, 1 Jul 2002 08:52:54 +0000 (08:52 +0000)
commitced5736d720a89286d9b0954a10237fcbd91f931
tree5f91a1c64f3b5266e10158e132d330e0169563f9
parentabcd9ea5db1ae9c3d88053127fc7a2d5d798c2d5
* mk-gpg-texi: New.
scripts/ChangeLog
scripts/distfiles
scripts/mk-gpg-texi [new file with mode: 0755]