diff options
author | Ludovic Courtès <ludo@gnu.org> | 2023-01-23 11:58:52 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2023-01-23 12:00:40 +0100 |
commit | 2e1ba78c3019ede8f8ae7eaf1a740d9fd8dcf388 (patch) | |
tree | bcd35240b0862df4961f5cf1ee09aba12f03a77c /doc/ref/api-coverage.texi | |
parent | 181f7ee4a7b1e80605fb8438e96a796d5830464d (diff) | |
download | guile-2e1ba78c3019ede8f8ae7eaf1a740d9fd8dcf388.tar.gz |
maint: Abort 'make dist' when Readline support is missing.
Reported by Greg Troxel <gdt@lexort.com>.
* Makefile.am (ensure-guile-readline): New target.
(dist-hook): Depend on it.
Diffstat (limited to 'doc/ref/api-coverage.texi')
0 files changed, 0 insertions, 0 deletions