diff options
Diffstat (limited to 'chapter06/man-inst.xml')
-rw-r--r-- | chapter06/man-inst.xml | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/chapter06/man-inst.xml b/chapter06/man-inst.xml index c6329e37d..a2c331b93 100644 --- a/chapter06/man-inst.xml +++ b/chapter06/man-inst.xml @@ -3,16 +3,16 @@ <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</userinput> -<userinput> cp $i $i.backup &&</userinput> -<userinput> sed 's/gawk/awk/g' $i > tmp~ &&</userinput> -<userinput> mv tmp~ $i</userinput> -<userinput>done &&</userinput> -<userinput>chmod 755 configure &&</userinput> -<userinput>./configure -default &&</userinput> -<userinput>make &&</userinput> -<userinput>make install</userinput></screen></para> +<para><screen><userinput>for i in configure src/Makefile.in src/makewhatis.sh +do + cp $i $i.backup && + sed 's/gawk/awk/g' $i > tmp~ && + mv tmp~ $i +done && +chmod 755 configure && +./configure -default && +make && +make install</userinput></screen></para> <para>You may want to take a look at the man hint at <ulink url="&hints-root;man.txt">&hints-root;man.txt</ulink> |