4b19846 Enable build docs cmake option for man page.

Authored and Committed by hobbes1069 6 years ago
    Enable build docs cmake option for man page.
    
        
file modified
+2 -1