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