Merge branch 'master' into enh/wheezy-vm

[neurodebian.git] / Makefile

diff --git a/Makefile b/Makefile
index 305b1015ee65ce60f467d4fd99df8a55684db0d8..f2876a1740f680b4cc18d330e4c647d5eb39eb55 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -18,6 +18,7 @@ html: pics source
        rsync -rvlhpt sphinx/ build/src
        cd artwork;     cp button_w200.png logo_tuned/fmri_w200.png ../build/src/_static; cd ..
        cp 3rd/jquery.livetwitter/jquery.livetwitter.min.js build/src/_static
+       cp neurodebian.cfg build/src/_static
        cd build/src && $(MAKE) html BUILDDIR=$(CURDIR)/build 2>&1
        mv $(WWW_DIR)/_static/robots.txt $(WWW_DIR)/
        cp -r build/src/lists $(WWW_DIR)/
@@ -80,7 +81,8 @@ upload-website-stamp: .git/index
 
 mirmon:
        # update and generate mirrors report
-       [ -x /usr/bin/mirmon ] && mirmon -q -get update -c mirmon-neurodebian.conf
+       [ -x /usr/bin/mirmon ] && mirmon -q -get update -c mirmon-neurodebian.conf 2>&1 \
+        | grep -v 'date: invalid date.*DOCTYPE' || :
        # [ -x $(WWW_UPLOAD_URI_STATIC)/mirrors-check.ihtml ] &&
        # everything must be in place!
        cat $(WWW_UPLOAD_URI_STATIC)/{index-header,mirrors-status,index-trailer}.ihtml \