diff options
Diffstat (limited to 'Doc/using')
| -rw-r--r-- | Doc/using/configure.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/using/configure.rst b/Doc/using/configure.rst index 32adfb0..6a4a52b 100644 --- a/Doc/using/configure.rst +++ b/Doc/using/configure.rst @@ -1120,7 +1120,7 @@ Remove built files. make distclean ^^^^^^^^^^^^^^ -In addition to the the work done by ``make clean``, remove files +In addition to the work done by ``make clean``, remove files created by the configure script. ``configure`` will have to be run before building again. [#]_ |