diff options
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/makefile b/makefile index ab79eef..939dfc5 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 $(DIST)/changelog.html +all: $(DIST)/ssh.html $(DIST)/irc.html $(DIST)/index.html $(DIST)/email.html $(DIST)/style.css $(DIST)/scheme.css $(DIST)/changelog.html $(DIST): mkdir -p $(DIST) @@ -21,6 +21,14 @@ $(DIST)/changelog.html: changelog.7 style.css $(DIST) mandoc -Thtml -Ostyle=style.css changelog.7 > $@ cp changelog.7 $(DIST)/changelog.7 +$(DIST)/irc.html: irc.7 style.css $(DIST) + mandoc -Thtml -Ostyle=style.css irc.7 > $@ + cp irc.7 $(DIST)/irc.7 + +$(DIST)/ssh.html: ssh.7 style.css $(DIST) + mandoc -Thtml -Ostyle=style.css ssh.7 > $@ + cp ssh.7 $(DIST)/ssh.7 + $(DIST)/style.css: style.css $(DIST) cp style.css $@ |