7ebd12 fix build when haddock disabled

Authored and Committed by petersen 10 months ago
    fix build when haddock disabled
    
        
file modified
+5 -0