From: Michael Hanke <michael.hanke@gmail.com>
Date: Fri, 19 Apr 2013 18:00:37 +0000 (+0200)
Subject: make sure the page source get updated after a DB update
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=a54a7a5f17f9e3b7bab62a1eb5e7ca445f7c3d8d;p=neurodebian.git

make sure the page source get updated after a DB update
---

diff --git a/Makefile b/Makefile
index fa3f7df..a206168 100644
--- a/Makefile
+++ b/Makefile
@@ -56,6 +56,7 @@ source-stamp:
 updatedb:
 	$(BIGMESS) cachefiles -f
 	$(BIGMESS) updatedb
+	-rm source-stamp
 
 upload-website: html
 	rsync -rvzlhp --delete \