diff options
| -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 @@ | |||
| 3224 | The "-x" or "--extract" options are now no-ops. | 3224 | The "-x" or "--extract" options are now no-ops. |
| 3225 | If you wish to provide your own existing source tree, you | 3225 | If you wish to provide your own existing source tree, you |
| 3226 | will now need to specify either the "-n" or | 3226 | will now need to specify either the "-n" or |
| 3227 | "--no-extract" option when running | 3227 | "--no-extract" options when running |
| 3228 | <filename>devtool modify</filename>. | 3228 | <filename>devtool modify</filename>. |
| 3229 | </para></listitem> | 3229 | </para></listitem> |
| 3230 | <listitem><para> | 3230 | <listitem><para> |