diff options
| -rw-r--r-- | index.1 | 3 | ||||
| -rw-r--r-- | makefile | 1 | ||||
| -rw-r--r-- | minisign.pub | 2 |
3 files changed, 6 insertions, 0 deletions
diff --git a/index.1 b/index.1 index e3a4355..9e5f57f 100644 --- a/index.1 +++ b/index.1 @@ -27,6 +27,9 @@ age: age1xsmj00a47qsuul4lw8sfsyqqve9rtxy4h72q0md3cajplj9cr46qtg2q3u .nf ssh: curl https://outdated.network/id_key.pub .fi +.nf +minisign: curl https://outdated.network/minisign.pub +.fi .SH SEE ALSO man(1), plan9(7), nixos(8), 9front(7), .UR changelog.html 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 > $@ diff --git a/minisign.pub b/minisign.pub new file mode 100644 index 0000000..17254bd --- /dev/null +++ b/minisign.pub @@ -0,0 +1,2 @@ +untrusted comment: minisign public key 504795B4B4A0A852 +RWRSqKC0tJVHUAa+TU7d/NozuAwBnrqEnnPZREh4Ihuw0AP54g4ToyFp |