-
Marius Gerbershagen authored
Introduce a configure option controlling the installation and build the documentation during the build instead of the install phase. Targets for installation of the html version have also been added. Fixes #482.
93496e10