#774079 build the index also for /usr/local/share/doc

#774079#5
Date:
2014-12-28 13:52:40 UTC
From:
To:
I'm often working offline and I'm often resorting to dhelp to perform full-text
searches of the installed documentation.

It would be nice if the documentation in /usr/local/share/doc would be indexed
too by default. I'm managing /usr/local using stow, so this is documentation
not handled by doc-base. Not having a registered entry in the documentation
tree would be absolutely fine (I'm never using it anyway: there's just too much
stuff on a development machine to be useful by itself).

Thanks