diff options
| author | Pierre Labastie <pierre.labastie@neuf.fr> | 2021-08-21 08:59:51 +0200 |
|---|---|---|
| committer | Pierre Labastie <pierre.labastie@neuf.fr> | 2021-08-21 08:59:51 +0200 |
| commit | b649e6b6d88d4a41e52243b8e393e619604c0f88 (patch) | |
| tree | 081545a8646c32306476a12571fa5e3ad851237f | |
| parent | 0e89a47eff256aedac2b9c7437b8645ee11ab9e1 (diff) | |
Typo (double "the") Spotted by Rainer Fiebig
| -rw-r--r-- | chapter07/cleanup.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chapter07/cleanup.xml b/chapter07/cleanup.xml index 04005eece..36af2cfaa 100644 --- a/chapter07/cleanup.xml +++ b/chapter07/cleanup.xml @@ -83,7 +83,7 @@ backed up for later reuse. In case of fatal failures in the subsequent chapters, it often turns out that removing everything and starting over (more carefully) is the best option to recover. Unfortunately, all the - the temporary files will be removed, too. To avoid spending extra time to + temporary files will be removed, too. To avoid spending extra time to redo something which has been built successfully, prepare a backup. </para> |