* mk-gpg-texi: New.