doc: Update for modern makeinfo.
authorWerner Koch <wk@gnupg.org>
Tue, 3 Jun 2014 11:34:24 +0000 (13:34 +0200)
committerWerner Koch <wk@gnupg.org>
Wed, 25 Jun 2014 07:45:56 +0000 (09:45 +0200)
commitf149e05427a370f5985bc3fb142370b043f19924
tree7db209cedd46fc0d89d08fce22df15d0c61fec64
parentf171fd226e84311f92545ca0494771db07ba777d
doc: Update for modern makeinfo.

* doc/texi.css: Remove.
* doc/Makefile.am (AM_MAKEINFOFLAGS): Use --css-ref.
doc/Makefile.am
doc/gpg.texi