# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1342213439 -10800
# Node ID a2914ae81c6d1da28c12f499ea68aeb9c2b15ac2
# Parent  95ea6db23736264a8d1f9aa3a970a3b07a84a63e
Update build info for deploy targets.

diff -r 95ea6db23736 -r a2914ae81c6d Makefile
--- a/Makefile	Sat Jul 14 00:00:05 2012 +0300
+++ b/Makefile	Sat Jul 14 00:03:59 2012 +0300
@@ -50,6 +50,10 @@
 ################################################################
 # Deploy targets.
 
+ifneq '' '$(filter deploy%,$(MAKECMDGOALS))'
+  $(shell rm -f HEADER.rst)
+endif
+
 .PHONY: deploy
 deploy: deploy2sourceforge