Changed license of the manual stuff to GPL.
authorWerner Koch <wk@gnupg.org>
Wed, 29 Sep 2004 11:04:30 +0000 (11:04 +0000)
committerWerner Koch <wk@gnupg.org>
Wed, 29 Sep 2004 11:04:30 +0000 (11:04 +0000)
commit4604ae8e99dfdc91d2af76d7336cd4a4d6da2722
tree89d58edbf22452f180c7692579bf93b16270866a
parent5e9f8cd329cfb131e59ae9d35693a38b6297dcbe
Changed license of the manual stuff to GPL.

* gnupg.texi (Top): New menu item Helper Tools.

* tools.texi (Helper Tools): New.
* Makefile.am (gnupg_TEXINFOS): Add tools.texi.
doc/ChangeLog
doc/Makefile.am
doc/Notes
doc/gnupg.texi
doc/gpg-agent.texi
doc/tools.texi [new file with mode: 0644]