diff options
Diffstat (limited to 'chapter06/man-exp.xml')
-rw-r--r-- | chapter06/man-exp.xml | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/chapter06/man-exp.xml b/chapter06/man-exp.xml deleted file mode 100644 index 1e429c72d..000000000 --- a/chapter06/man-exp.xml +++ /dev/null @@ -1,29 +0,0 @@ -<sect2> -<title>Command explanations</title> - -<para> -<userinput>sed -e 's|in \(.*\$PATH\)|in `echo \1`|' configure...:</userinput> -This fixes a little problem in man's configure. The configure-script -looks for files like cat, gunzip, bzip2, etc. in a for-loop that -walks through a specified path. The splitting of the path is not done -correctly and needs that fix. -</para> - -<para> -<userinput>-default:</userinput> This configures the man package with -default settings. -</para> - -<para> -<userinput>sed s/AWK=/"AWK=\/usr\/bin\/mawk"/ /usr/sbin/makewhatis > -makewhatis-new:</userinput> This modifies /usr/sbin/makewhatis's AWK -variable and fills in the location of the mawk program. -</para> - -<para> -<userinput>chmod 755 /usr/sbin/makewhatis:</userinput> This makes the -makewhatis script executable again. -</para> - -</sect2> - |