diff options
| author | Vivien Kraus <vivien@planete-kraus.eu> | 2023-02-21 07:49:58 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-02-23 16:31:37 +0100 |
| commit | 3809aa01a1287dbe5be90e7aa4407bf27a6467ed (patch) | |
| tree | e0e50145f0a5837ead56c1f4ef83210d88d54769 /doc | |
| parent | 84c9a94b451fb46eeef5d56ff58921ea0b8ce510 (diff) | |
gnu: gnulib: Allow only one directory name in GNULIB_SRCDIR.
* gnu/packages/build-tools.scm (gnulib-checkout) [search-path-specification
GNULIB_SRCDIR]: Set separator to #f.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions