From a54a7a5f17f9e3b7bab62a1eb5e7ca445f7c3d8d Mon Sep 17 00:00:00 2001
From: Michael Hanke <michael.hanke@gmail.com>
Date: Fri, 19 Apr 2013 20:00:37 +0200
Subject: [PATCH] make sure the page source get updated after a DB update

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

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 \
-- 
2.39.2