diff options
author | Ludovic Courtès <ludo@gnu.org> | 2017-05-04 21:41:39 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-05-04 23:51:45 +0200 |
commit | 1d1ddf26d5c11aa732ccad4808d4c2d3424ff944 (patch) | |
tree | 2a63c7fdea6a2a90398148adbf87dd80cdc62d10 /THANKS | |
parent | da99126ca2fc2959189ca7901c328c19cd80ae82 (diff) | |
download | guix-1d1ddf26d5c11aa732ccad4808d4c2d3424ff944.tar.gz |
build: Remove 'sync-descriptions' target.
This target predates 'guix lint'. Nowadays it makes little sense to run it upon 'make dist'. * Makefile.am (sync-descriptions): Remove. (dist-hook, .PHONY): Remove reference to 'sync-descriptions'.
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions