]> git.donarmstrong.com Git - neurodebian.git/commitdiff
ENH: Make neurodebian.cfg also visible on the website so we could easily fetch up...
authorYaroslav Halchenko <debian@onerussian.com>
Mon, 3 Dec 2012 15:15:07 +0000 (10:15 -0500)
committerYaroslav Halchenko <debian@onerussian.com>
Mon, 3 Dec 2012 15:15:07 +0000 (10:15 -0500)
Makefile

index 7829c85774b0b909963660244608712998858bc4..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)/