use new <package> tag where appropriate (Ardo, you rock)

[developers-reference.git] / Makefile

diff --git a/Makefile b/Makefile
index ba1fcfca4521cecc38e1feb7aa2277c7f8c0aa0d..2cdfb48cb2c41fc0c2850edcf5f1e87f369d4f4a 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -3,13 +3,14 @@
 MANUAL         := $(shell basename $(shell pwd))
 PUBLISHDIR     := ../../../public_html/manuals.html/$(MANUAL)
 
-publish:       html
+publish:       build
        [ -d ../../../public_html ] || exit 1
        rm -f $(PUBLISHDIR)/*.html
        install -d $(PUBLISHDIR)
        install -m 644 --preserve-timestamps $(MANUAL).html/*.html $(PUBLISHDIR)
 
-html:
+.PHONY:        build
+build:
        debian/rules build
 
 clean: