diff options
| -rw-r--r-- | makefile | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/makefile b/makefile index 591ff16..c4b7ecf 100644 --- a/makefile +++ b/makefile @@ -1,22 +1,24 @@ -DIST=dist +DIST= dist + +.PHONY: all clean all: $(DIST)/index.html $(DIST)/email.html $(DIST)/style.css $(DIST)/scheme.css $(DIST): mkdir -p $(DIST) -$(DIST)/index.html: index.1 style.css | $(DIST) +$(DIST)/index.html: index.1 style.css $(DIST) cp index.1 $(DIST)/index.1 mandoc -Thtml -Ostyle=style.css index.1 > $@ -$(DIST)/email.html: email.7 style.css | $(DIST) +$(DIST)/email.html: email.7 style.css $(DIST) mandoc -Thtml -Ostyle=style.css email.7 > $@ cp email.7 $(DIST)/email.7 -$(DIST)/style.css: style.css | $(DIST) +$(DIST)/style.css: style.css $(DIST) cp style.css $@ -$(DIST)/scheme.css: scheme.css | $(DIST) +$(DIST)/scheme.css: scheme.css $(DIST) cp scheme.css $@ clean: |