Log Message:
Documentation handling fixes.
Now, unwanted configure script timestamp update issue is resolved, and unwanted
documentation regeneration will not be happened anymore.
TeX related tools are not required in any case.
Additionally, PDF document is already in distibution, so no reason to prevent
installation.

Bump PKGREVISION.