equal
deleted
inserted
replaced
47 |
47 |
48 DIRS := $(HTML_DIR) |
48 DIRS := $(HTML_DIR) |
49 |
49 |
50 ################################################################ |
50 ################################################################ |
51 # Deploy targets. |
51 # Deploy targets. |
|
52 |
|
53 ifneq '' '$(filter deploy%,$(MAKECMDGOALS))' |
|
54 $(shell rm -f HEADER.rst) |
|
55 endif |
52 |
56 |
53 .PHONY: deploy |
57 .PHONY: deploy |
54 deploy: deploy2sourceforge |
58 deploy: deploy2sourceforge |
55 |
59 |
56 # Will be accessible via: http://gavenkoa.users.sourceforge.net/tips-html/frame.html |
60 # Will be accessible via: http://gavenkoa.users.sourceforge.net/tips-html/frame.html |