Re: Treat pdf, html like info

[Ralf Wildenhues]

* Stefan Bienert wrote on Sat, Nov 08, 2008 at 08:02:10PM CET:
> With putting the pdf and html documentation into EXTRA_DIST everything 
> works fine.

Well, ignore my last mail then.  :-)