chiark
/
gitweb
/
~mdw
/
drwho
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
d5a7fc9
)
Makefile (upload): Rebuild files before uploading them!
author
Mark Wooding
<mdw@distorted.org.uk>
Sat, 8 Aug 2020 12:08:37 +0000
(13:08 +0100)
committer
Mark Wooding
<mdw@distorted.org.uk>
Sat, 8 Aug 2020 12:09:02 +0000
(13:09 +0100)
Makefile
patch
|
blob
|
blame
|
history
diff --git
a/Makefile
b/Makefile
index 61dc05122561b6cb51ab95fc05f6cff4258eaff6..32332b220593d00b91da8d7dc7b9fb85c6af1d63 100644
(file)
--- a/
Makefile
+++ b/
Makefile
@@
-27,6
+27,9
@@
all::
clean::
.PHONY: clean
+FORCE:
+.PHONY: FORCE
+
V = 0
v_tag = $(call v_tag_$V,$0)
v_tag_0 = @printf " %-8s %s\n" "$1" "$@";
@@
-48,6
+51,6
@@
all:: drwho.pdf drwho.ps
clean::; rm -f *.pdf *.dvi *.ps *.log *.aux
-upload:
+upload:
$(UPLOAD) FORCE
rsync -av $(UPLOAD) stratocaster:publish/public-html/
.PHONY: upload