mariusmuja/flann — pull request #150 by jlec (2013-12-07 18:27:15+00:00)
Title: Support custom docdir

Allow user to specify a custom location for docs. On some Linux distributions
the docs are at /usr/share/doc/pkg-version rather then the unversioned dir.

Signed-off-by: Justin Lecher