diff options
Diffstat (limited to 'documentation')
| -rw-r--r-- | documentation/ref-manual/migration.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation/ref-manual/migration.xml b/documentation/ref-manual/migration.xml index 70c89aa631..beb76e85a0 100644 --- a/documentation/ref-manual/migration.xml +++ b/documentation/ref-manual/migration.xml @@ -3224,7 +3224,7 @@ The "-x" or "--extract" options are now no-ops. If you wish to provide your own existing source tree, you will now need to specify either the "-n" or - "--no-extract" option when running + "--no-extract" options when running <filename>devtool modify</filename>. </para></listitem> <listitem><para> |