6d2f250 Add a Read the Doc plugin and git hook

Authored and Committed by pingou 8 years ago
    Add a Read the Doc plugin and git hook
    
    This plugin allows to trigger a build on readthedocs.org upon git push
    
        
file added
+117