make sure the page source get updated after a DB update

diff --git a/Makefile b/Makefile
index fa3f7dffdde909f9ccd3406051ae83cce7bf6164..a2061681f261f5193fd74a3a805186d76c63fae7 100644 (file)
--- 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 \