diff options
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/makefile b/makefile index d8c0d97..3415f1a 100644 --- a/makefile +++ b/makefile @@ -15,6 +15,7 @@ $(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 + cp minisign.pub $(DIST) $(DIST)/changelog.html: changelog.7 style.css $(DIST) mandoc -Thtml -Ostyle=style.css changelog.7 > $@ |