chiark / gitweb /
updated regarding va->klecker move, and www->people move, changed most
[developers-reference.git] / 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
-