Makefile
changeset 1343 98bd3c148847
parent 1341 e45ca3c87690
child 1345 a1dffeaaf6e4
--- a/Makefile	Sat Jul 14 00:01:07 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