Jeremy C. Reed wrote:

>>Added CONFIGURE_ARGS+=--with-html-dir=${PREFIX}/share/doc/html to
>>install the documentation into right place.
> 
> You may want to bump PKGREVISION also since these are changed packages.

I don't think this is necessary in this case as the files were just
moved and the "old" versions work just fine. So I don't want to force
the users to upgrade in this case (because of these cosmetic fixes).

What do you think?

Martti