diff options
Diffstat (limited to 'chapter06/man-inst.xml')
| -rw-r--r-- | chapter06/man-inst.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chapter06/man-inst.xml b/chapter06/man-inst.xml index ef36275a8..1c457fc90 100644 --- a/chapter06/man-inst.xml +++ b/chapter06/man-inst.xml @@ -5,7 +5,7 @@ <para><screen><userinput>for i in configure src/Makefile.in src/makewhatis.sh</userinput> <userinput>do sed s/gawk/awk/g $i > $i.fixed</userinput> -<userinput>mv $i.fixed $i</userinput> +<userinput>mv -f $i.fixed $i</userinput> <userinput>done</userinput> <userinput>chmod 700 configure &&</userinput> <userinput>./configure -default &&</userinput> |