chiark
/
gitweb
/
~ianmdlvl
/
developers-reference.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
updated regarding va->klecker move, and www->people move, changed most
[developers-reference.git]
/
Makefile
diff --git
a/Makefile
b/Makefile
index 43c602c5f35febc27064ff400feb44195fddd43e..914d8fe1890f004b94da1e4df0610b540bc1ede8 100644
(file)
--- a/
Makefile
+++ b/
Makefile
@@
-3,6
+3,8
@@
MANUAL := $(notdir $(shell pwd))
PUBLISHDIR := ../../../public_html/manuals.html
+all: build
+
publish: build
[ -d $(PUBLISHDIR) ] || exit 1
rm -f $(PUBLISHDIR)/$(MANUAL)/*.html
@@
-14,6
+16,6
@@
publish: build
build:
debian/rules build
+.PHONY: clean
clean:
debian/rules clean
-