6d2f25 Add a Read the Doc plugin and git hook

Authored and Committed by Pierre-Yves Chibon 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