From a7e6bcde1b4b6956a7d9407cd944c623916c8cf0 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 3 Nov 2014 20:54:03 +0100
Subject: Replace --dispconfig with --disp-config.

---
 doc/ghdl.texi                 | 16 ++++++++--------
 translate/ghdldrv/ghdldrv.adb |  4 ++--
 2 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/doc/ghdl.texi b/doc/ghdl.texi
index 831d0a104..2624ffbaf 100644
--- a/doc/ghdl.texi
+++ b/doc/ghdl.texi
@@ -1381,12 +1381,12 @@ There are a few GHDL commands which are seldom useful.
 
 @menu
 * Help command::                
-* Dispconfig command::          
+* Disp config command::         
 * Disp standard command::       
 * Version command::             
 @end menu
 
-@node Help command, Dispconfig command, Misc commands, Misc commands
+@node Help command, Disp config command, Misc commands, Misc commands
 @subsection Help command
 @cindex @option{-h} command
 @cindex @option{--help} command
@@ -1400,20 +1400,20 @@ $ ghdl -h
 $ ghdl -h @var{command}
 @end smallexample
 
-@node Dispconfig command, Disp standard command, Help command, Misc commands
+@node Disp config command, Disp standard command, Help command, Misc commands
 @comment  node-name,  next,  previous,  up
-@subsection Dispconfig command
-@cindex @option{--dispconfig} command
+@subsection Disp config command
+@cindex @option{--disp-config} command
 @cindex display configuration
 Display the program paths and options used by GHDL.
 
 @smallexample
-$ ghdl --dispconfig [@var{options}]
+$ ghdl --disp-config [@var{options}]
 @end smallexample
 
 This may be useful to track installation errors.
 
-@node Disp standard command, Version command, Dispconfig command, Misc commands
+@node Disp standard command, Version command, Disp config command, Misc commands
 @comment  node-name,  next,  previous,  up
 @subsection Disp standard command
 @cindex @option{--disp-standard} command
@@ -1454,7 +1454,7 @@ a built-in default path.  It is a hard-coded path on GNU/Linux and the
 value of the @samp{HKLM\Software\Ghdl\Install_Dir} registry entry on Windows.
 @end enumerate
 
-You should use the @option{--dispconfig} command (@pxref{Dispconfig command} for details) to disp and debug installation problems.
+You should use the @option{--disp-config} command (@pxref{Disp config command} for details) to disp and debug installation problems.
 
 @node IEEE library pitfalls, IEEE math packages, Installation Directory, Invoking GHDL
 @comment  node-name,  next,  previous,  up
diff --git a/translate/ghdldrv/ghdldrv.adb b/translate/ghdldrv/ghdldrv.adb
index 50fd6d71a..eb4de290a 100644
--- a/translate/ghdldrv/ghdldrv.adb
+++ b/translate/ghdldrv/ghdldrv.adb
@@ -719,14 +719,14 @@ package body Ghdldrv is
    is
       pragma Unreferenced (Cmd);
    begin
-      return Name = "--dispconfig";
+      return Name = "--dispconfig" or else Name = "--disp-config";
    end Decode_Command;
 
    function Get_Short_Help (Cmd : Command_Dispconfig) return String
    is
       pragma Unreferenced (Cmd);
    begin
-      return "--dispconfig       Disp tools path";
+      return "--disp-config      Disp tools path";
    end Get_Short_Help;
 
    procedure Perform_Action (Cmd : in out Command_Dispconfig;
-- 
cgit v1.2.3