OPM/opm-core — pull request #156 by rolk (2013-02-20 13:40:59+00:00)
Title: Allow documentation to be installed in a directory with customized name

Distributions have various conventions for the name of the class documentation; provide an option -DDOCDIR_NAME which can be set (by the package builder).