gnulib-tool.py --help
shows that a --dir option should be accepted, but it is not.
$ ./gnulib-tool.py --dir=../testdir-dirent --create-testdir dirent
usage: gnulib-tool.py --help
./gnulib-tool.py: error: unrecognized arguments: --dir=../testdir-dirent
Here's the proposed fix. OK to push?
>From 7722a95c3f841896323e08629745cf4bf3915a97 Mon Sep 17 00:00:00 2001
From: Bruno Haible <br...@clisp.org>
Date: Fri, 8 Sep 2017 23:45:39 +0200
Subject: [PATCH] gnulib-tool.py: Accept option --dir instead of --destdir.
---
gnulib-tool.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gnulib-tool.py b/gnulib-tool.py
index f787fb4..0a37182 100755
--- a/gnulib-tool.py
+++ b/gnulib-tool.py
@@ -219,7 +219,7 @@ def main():
default=None,
action='store_false')
# destdir
- parser.add_argument('-d', '--destdir',
+ parser.add_argument('-d', '--dir',
dest='destdir',
default=None,
nargs=1)
--
2.7.4
