diff options
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/makefile b/makefile index c4b7ecf..d8c0d97 100644 --- a/makefile +++ b/makefile @@ -2,7 +2,7 @@ DIST= dist .PHONY: all clean -all: $(DIST)/index.html $(DIST)/email.html $(DIST)/style.css $(DIST)/scheme.css +all: $(DIST)/index.html $(DIST)/email.html $(DIST)/style.css $(DIST)/scheme.css $(DIST)/changelog.html $(DIST): mkdir -p $(DIST) @@ -14,6 +14,11 @@ $(DIST)/index.html: index.1 style.css $(DIST) $(DIST)/email.html: email.7 style.css $(DIST) mandoc -Thtml -Ostyle=style.css email.7 > $@ cp email.7 $(DIST)/email.7 + cp id_key.pub $(DIST)/id_key.pub + +$(DIST)/changelog.html: changelog.7 style.css $(DIST) + mandoc -Thtml -Ostyle=style.css changelog.7 > $@ + cp changelog.7 $(DIST)/changelog.7 $(DIST)/style.css: style.css $(DIST) cp style.css $@ |