Makefile: chmod go-w waflib, clean cleaner
authorPaul Brossier <piem@piem.org>
Fri, 16 Dec 2016 12:04:20 +0000 (13:04 +0100)
committerPaul Brossier <piem@piem.org>
Fri, 16 Dec 2016 12:04:20 +0000 (13:04 +0100)
Makefile

index 4d615dc..8334c42 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -53,7 +53,7 @@ expandwaf: getwaf
        $(WAFCMD) --help > /dev/null
        mv .waf*/waflib . && rm -fr .waf*
        sed '/^#==>$$/,$$d' waf > waf2 && mv waf2 waf
        $(WAFCMD) --help > /dev/null
        mv .waf*/waflib . && rm -fr .waf*
        sed '/^#==>$$/,$$d' waf > waf2 && mv waf2 waf
-       chmod +x waf
+       chmod +x waf && chmod go-w -R waflib
 
 cleanwaf:
        rm -rf waf waflib .waf*
 
 cleanwaf:
        rm -rf waf waflib .waf*
@@ -162,6 +162,8 @@ check_clean:
 
 distclean:
        $(WAFCMD) distclean
 
 distclean:
        $(WAFCMD) distclean
+       -rm -rf doc/_build/
+       -rm -rf doc/web/
 
 check_distclean:
        make distclean
 
 check_distclean:
        make distclean