7835991 enable docs regeneration again (#991957)

Authored and Committed by jkaluza 8 years ago
1 file changed. 5 lines added. 4 lines removed.
    enable docs regeneration again (#991957)
    
        
file modified
+5 -4