etc: Add "ci.guix.info.pub" public key file.
authorLudovic Courtès <ludo@gnu.org>
Mon, 3 Dec 2018 15:19:10 +0000 (16:19 +0100)
committerLudovic Courtès <ludo@gnu.org>
Tue, 4 Dec 2018 09:57:56 +0000 (10:57 +0100)
commit6a837b6062ab405f6ca6d9c0163836769098d89b
treea85ae51039d4f3fe45fab475520dfc3f6e30fb6d
parent1f51f0d975d95a2ba645193cf43d0a294d952e83
etc: Add "ci.guix.info.pub" public key file.

* etc/substitutes/ci.guix.info.pub: New file.
* Makefile.am (dist_pkgdata_DATA): Add it.
* guix/self.scm (miscellaneous-files): Add
"share/guix/ci.guix.info.pub".
Makefile.am
etc/substitutes/ci.guix.info.pub [new symlink]
guix/self.scm