Add documentation for the "use-patch-diff" option introduced in
the first patch of this patchset. This option allows for
applying a semantic patch to only those files in a directory
where code additions have been made.
Signed-off-by: Sumera Priyadarsini <sylphrena...@gmail.com>
---
Changes in V2:
- Change "use-patchdiff" to "use-patch-diff" (Julia)
---
docs/manual/spatch_options.tex | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/docs/manual/spatch_options.tex b/docs/manual/spatch_options.tex
index a372aaf8a..393d254e3 100644
--- a/docs/manual/spatch_options.tex
+++ b/docs/manual/spatch_options.tex
@@ -220,6 +220,11 @@ intereted relative to the target directory. If the
filename is an absolute
path name, beginning with /, it is used as is.
}
+\normal{-{}-use-patch-diff}{ This option allows for applying a semantic patch
+ to only the files that have been modified in a directory. The directory needs
+ to be specified by the user. Note that an absolute path needs to be used if
+ spatch is called from outside the target project directory. }
+
\normal{-{}-use-coccigrep}{ Use a version of grep implemented in Coccinelle
to check that selected files are relevant to the semantic patch. This
option is only relevant to the case of working on a complete directory,
--
2.32.0
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
