diff options
Diffstat (limited to 'chapter06/man-inst.xml')
| -rw-r--r-- | chapter06/man-inst.xml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/chapter06/man-inst.xml b/chapter06/man-inst.xml index 1c457fc90..3b624f92f 100644 --- a/chapter06/man-inst.xml +++ b/chapter06/man-inst.xml @@ -4,8 +4,10 @@ <para>Run the following commands to install man:</para> <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 -f $i.fixed $i</userinput> +<userinput>do</userinput> +<userinput> cp $i $i.backup &&</userinput> +<userinput> sed 's/gawk/awk/g' $i > tmp~ &&</userinput> +<userinput> mv -f tmp~ $i</userinput> <userinput>done</userinput> <userinput>chmod 700 configure &&</userinput> <userinput>./configure -default &&</userinput> |