3e97e24 avoid regeneration of docs

Authored and Committed by Nikos Mavrogiannopoulos 10 years ago
    avoid regeneration of docs
    
        
file modified
+2 -0