--doc_directory command-line argument is ignored

[Andy Balaam]

If you supply the --doc_directory command-line argument, FreeGuide should look for its documentation in this directory, instead of extracting the docs into a temporary directory on demand.

This argument is currently ignored.

In DisplayDocs.displayDocs(), we should check whether application.docDirectory is set, and if so, display the docs in there instead of extracting a new set.

Additionally, the bug reporter found that the extracted files were not being correctly opened in the browser. Quote:

>> When I click on <Help> <User Guide>, my browser opens and shows the 404
>> error, file not found.
>> It seems to be pointed in software toward
>> "/tmp/freeguide-docs/userguide.html", while the documents
>> directory, "/usr/share/doc/freeguide" actually contains all the
>> documentation.

[Andy Balaam (mail-artificialworlds)]

Fixed in SVN revision 1757