diff options
author | EuAndreh <eu@euandre.org> | 2023-03-28 13:24:23 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2023-03-28 13:24:23 -0300 |
commit | 956f8f312c3c23bbd0e6ad56407fc2a320f7d360 (patch) | |
tree | e01b9c387487d4974b33f1c8c519401171c492b8 | |
parent | gitconfig: Use generic values for user.{email,name} (diff) | |
download | toph-956f8f312c3c23bbd0e6ad56407fc2a320f7d360.tar.gz toph-956f8f312c3c23bbd0e6ad56407fc2a320f7d360.tar.xz |
Makefile: generate .pub.stripped in "all"
Notes
See CI logs with:
git notes --ref=refs/notes/ci-logs show 956f8f312c3c23bbd0e6ad56407fc2a320f7d360
git notes --ref=refs/notes/ci-data show 956f8f312c3c23bbd0e6ad56407fc2a320f7d360
Exit status: 0
Duration: 23
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -6,7 +6,7 @@ DOCDIR = $(SHAREDIR)/doc/$(NAME) -all: public +all: public src/infrastructure/keys/SSH/root@euandre.org.id_rsa.pub.stripped packages system: ALWAYS \ |