+ : # Touch stamp here so we get it updated on every upload
+ touch $@-stamp
+
+# call upload iff .git/index was modified, i.e. new changes got pulled in
+upload-website-stamp: .git/index
+ $(MAKE) upload-website
+
+mirmon:
+ # update and generate mirrors report
+ [ -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 \
+ >| $(WWW_UPLOAD_URI)/mirrors-status.html
+
+.PHONY: removedb removecache cachefiles updatedb upload-website clean distclean pics html mirmon