Allow documentation finding to link against specific manual versions if possible

Merged André Anjos requested to merge doc-version into master

Merge request reports