111849 Improve the update_docs shell script with the help of @puiterwijk

Authored and Committed by Pierre-Yves Chibon 8 years ago
    Improve the update_docs shell script with the help of @puiterwijk
    
        
file modified
+5 -4