Don't explicitly look in "install settings" for installed doc.

Not strictly necessary, and being able to specify that in user settings
makes things a bit easier for testing purposes.

Change-Id: Ie54c12cf65682892de09f0d811a8a1571137395c
Reviewed-by: Christian Stenger <christian.stenger@nokia.com>