diff options
| author | Werner Koch <[email protected]> | 2016-08-10 14:33:20 +0000 |
|---|---|---|
| committer | Werner Koch <[email protected]> | 2016-08-10 14:33:20 +0000 |
| commit | b7d99e02188b7907b09fec3032fc1fd82fc2668a (patch) | |
| tree | 9e8cfaf41bb0d52d08d9d04167efd69be59a5fb6 /doc/gpgme.texi | |
| parent | build: Declare all languages for make dist. (diff) | |
| download | gpgme-b7d99e02188b7907b09fec3032fc1fd82fc2668a.tar.gz gpgme-b7d99e02188b7907b09fec3032fc1fd82fc2668a.zip | |
doc: Get rid of version.texi
* configure.ac (CC_FOR_BUILD): New.
* doc/mkdefsinc.c: New. Taken from GnuPG and modified for gpgme.
* doc/Makefile.am (EXTRA_DIST): Add defsincdate and mkdefsinc.c
(BUILT_SOURCES): new.
(gpgme.texi): New dependency.
(mkdefsinc, defsincdate, defs.inc): New rules.
(dist-hook): New.
* doc/gpgme.texi: Include defs.inc. Remove version.texi.
--
GnuPG-bug-id: 2352
That new system should also yield more approriate date infos for the
manual.
Diffstat (limited to 'doc/gpgme.texi')
| -rw-r--r-- | doc/gpgme.texi | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/gpgme.texi b/doc/gpgme.texi index 907099ad..2bbed285 100644 --- a/doc/gpgme.texi +++ b/doc/gpgme.texi @@ -1,6 +1,7 @@ \input texinfo @c -*- mode: texinfo; coding: utf-8; -*- @documentencoding UTF-8 @setfilename gpgme.info +@include defs.inc @settitle The `GnuPG Made Easy' Reference Manual @dircategory GNU Libraries @@ -30,8 +31,6 @@ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. @end copying -@include version.texi - @c Macros used by the description of the UI server protocol @macro clnt @sc{c:} @c |