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)/
cp -r sphinx/survey/2011/figures/* $(WWW_DIR)/_images/
@echo "I: extracting header/trailer to be reused in non-sphinx pages"
sed -ne '1,/<!-- HEADNOTES -->/p' $(WWW_DIR)/index.html >| $(WWW_DIR)/_static/index-header.ihtml
- sed -ne '/<h2>Comments<\/h2>/,$p' $(WWW_DIR)/index.html >| $(WWW_DIR)/_static/index-trailer.ihtml
+ sed -ne '/<h2>Comments<\/h2>/,$$p' $(WWW_DIR)/index.html >| $(WWW_DIR)/_static/index-trailer.ihtml
clean:
-rm html-stamp source-stamp upload-website-stamp
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 \