diff options
Diffstat (limited to 'chapter06/man-inst.xml')
| -rw-r--r-- | chapter06/man-inst.xml | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/chapter06/man-inst.xml b/chapter06/man-inst.xml index c23c47916..b3e9eec8f 100644 --- a/chapter06/man-inst.xml +++ b/chapter06/man-inst.xml @@ -7,14 +7,18 @@ Install Man by running the following commands: <blockquote><literallayout> - <userinput>sed -e 's|in \(.*\$PATH\)|in `echo \1`|' - configure > tmp~ &&</userinput> + <userinput>sed -e 's|in \(.*\$PATH\)|in `echo \1`|' + \</userinput> + <userinput> configure > tmp~ + &&</userinput> <userinput>mv tmp~ configure &&</userinput> <userinput>chmod 755 configure &&</userinput> <userinput>./configure -default &&</userinput> <userinput>make &&</userinput> <userinput>make install &&</userinput> - <userinput>sed s/AWK=/"AWK=\/usr\/bin\/mawk"/ /usr/sbin/makewhatis + <userinput>sed s/AWK=/"AWK=\/usr\/bin\/mawk"/ + \</userinput> + <userinput> /usr/sbin/makewhatis > makewhatis-new &&</userinput> <userinput>mv makewhatis-new /usr/sbin/makewhatis && </userinput> |