chiark / gitweb /
compliance with Policy 3.2.1
[developers-reference.git] / Makefile
index 37dc8fe95592fedcd96c10e6b11a4ce11bf48904..914d8fe1890f004b94da1e4df0610b540bc1ede8 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,8 +1,10 @@
 # Makefile, used for the DDP manuals.sgml area
 
-MANUAL         := $(shell basename $(shell pwd))
+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
-