On 1/30/2012 12:04 AM, Bernard Helyer wrote:
I've found myself using dman more than I thought I would, but it is a little
annoying when it fails to find a page and I navigate to it manually -- I
wouldn't mind if I could improve dman for the next release.
Perhaps a text file on GitHub we could submit pull requests to?
I decided against a text file that dman reads because, inevitably, people will
have problems with dman not finding that file, or finding the wrong one, etc. I
thought it would be more bulletproof if it was a standalone executable.
Definitely its internal database, though, is too small.
Eventually, it should have everything in it that has an html anchor name on the
web site.