>From 7722a95c3f841896323e08629745cf4bf3915a97 Mon Sep 17 00:00:00 2001
From: Bruno Haible <address@hidden>
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