remove unused options, add help

Change-Id: I9ed337d3b1732303bf915c7cca9fb35987da6dfe

diff --git a/depanneur b/depanneur
index 777bea79c69b2a381c283acd7c0f63cec7991a0a..7f2be4baa88104c4190965f5c9b79a72ad487f77 100755 (executable)
--- a/depanneur
+++ b/depanneur
@@ -136,6 +136,10 @@ Available options:
     --dist <Distribution>
       Build for the specificed distribution.
 
+    --path <path to sources>
+      Path to git repo tree, default is packages/ sub-directory
+      in the developer environment.
+
     --clean 
       clean the build environment before building a package.