diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-04-10 12:26:21 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-04-10 12:26:21 +0200 |
| commit | 08b14ab20ebe181690df6210a0b3f95bad494af5 (patch) | |
| tree | 9a3c53f2662ae01792454b0d2005105a12708903 /gnu/build | |
| parent | eb0352e5b075385baebd907081682f14703ef5e0 (diff) | |
| download | patches-08b14ab20ebe181690df6210a0b3f95bad494af5.tar patches-08b14ab20ebe181690df6210a0b3f95bad494af5.tar.gz | |
maint: 'release' targets runs ./bootstrap for new version string.
Reported by Vagrant Cascadian <vagrant@debian.org>.
* Makefile.am (dist-with-updated-version): New target.
(release): Depend on 'dist-with-updated-version'.
Diffstat (limited to 'gnu/build')
0 files changed, 0 insertions, 0 deletions