Log Message:
Add a "doc" option (on by default) to control whether the documentation
is rendered and installed. Disabling the option is helpful e.g. for
web servers supporting OpenID logins, where X and TeX aren't present.
Bump PKGREVISION.