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 /.gitignore | |
| parent | da99126ca2fc2959189ca7901c328c19cd80ae82 (diff) | |
| download | gnu-guix-1d1ddf26d5c11aa732ccad4808d4c2d3424ff944.tar gnu-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 '.gitignore')
0 files changed, 0 insertions, 0 deletions