maj doc

pff

@@ -169,9 +169,16 @@ supportées sont:
     --no-unwrap
         Intégrer tel quel le contenu de l'archive.
 
-    -p, --patch [WORKDIR]
+    --patch [WORKDIR]
         Intégrer les modifications entrantes sur les fichiers nouvellement
         arrivés via l'option --new
+    --ask-commit
+    -c, --commit
+    --no-commit
+        Après l'intégration avec succès d'un patch, demander à l'utilisateur
+        s'il veut faire commit & push dans git (--ask-commit, la valeur par
+        défaut), le faire sans confirmation (--commit), ou ne jamais le faire
+        (--no-commit)
 
     -a, --add-global FILES...
         Ajouter/Identifier un fichier comme un fichier local pour tous les
@@ -191,6 +198,15 @@ supportées sont:
         spécifique au profil courant.
     -e, --edit FILES...
         Editer des fichiers, implique --add-local
+    -p, --profile PROFILE
+        Pour les options --add-local et --edit, sélectionner le profil spécifié
+        comme celui concerné pour les fichier mentionnés après cette option. Par
+        exemple:
+            $scriptname -e A -pprod B C -ptest D
+        Edite le fichier A du profil courant, les fichiers B et C du profil prod
+        et le fichier D du profil test.
+        Si cette option est utilisée pour sélectionner un fichier dans un autre
+        profil, le profil courant est restauré à la fin de la commande.
 
     -d, --diff [DESTP [WORKDIR]]
     -d, --diff [SRCP DESTP [WORKDIR]]