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>
Tue, 3 Jun 2014 11:34:24 +0000 (13:34 +0200)
commit52b96ef6b81951ddacf146a74e88e5512efd03a0
treea237a6357d64863cf4c29da36c66c09d9bf8ae00
parent07f8a37637da310d176879d491f8df2a881b117e
doc: Update for modern makeinfo.

* doc/texi.css: Remove.
* doc/Makefile.am (AM_MAKEINFOFLAGS): Use --css-ref.
doc/Makefile.am
doc/texi.css [deleted file]