diff options
Diffstat (limited to 'chapter06/gawk.xml')
| -rw-r--r-- | chapter06/gawk.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/chapter06/gawk.xml b/chapter06/gawk.xml index 3c5c4b28e..04ee8ae5b 100644 --- a/chapter06/gawk.xml +++ b/chapter06/gawk.xml @@ -56,6 +56,12 @@ <screen><userinput remap="install">make install</userinput></screen> + <para>If desired, install the documentation:</para> + +<screen><userinput remap="install">mkdir -v /usr/share/doc/gawk-&gawk-version; +cp -v doc/{awkforai.txt,*.{eps,pdf,jpg}} \ + /usr/share/doc/gawk-&gawk-version;</userinput></screen> + </sect2> <sect2 id="contents-gawk" role="content"> |