When using help, append --help to specific command (#15)

Co-authored-by: Carlos Agüero <[email protected]>
gazebosim · May 7, 2020 · 778c005 · 778c005
1 parent 019497e
commit 778c005
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/ign.in b/src/ign.in
@@ -215,8 +215,9 @@ if ARGV[0].eql? 'help'
     exit(0)
   end
 
-  # Remove the help command.
+  # Remove the help command and append --help.
   ARGV.delete_at(0)
+  ARGV.append('--help')
 end
 
 version_index = 0