|
@@ -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">
|