|
@@ -80,6 +80,13 @@ exec /usr/bin/flex -l "$@"
|
|
|
EOF
|
|
|
chmod -v 755 /usr/bin/lex</userinput></screen>
|
|
|
|
|
|
+ <para>If desired, install the <filename>flex.pdf</filename> documentation
|
|
|
+ file:</para>
|
|
|
+
|
|
|
+<screen><userinput remap="install">mkdir -v /usr/share/doc/flex-&flex-version;
|
|
|
+cp -v doc/flex.pdf \
|
|
|
+ /usr/share/doc/flex-&flex-version;</userinput></screen>
|
|
|
+
|
|
|
</sect2>
|
|
|
|
|
|
<sect2 id="contents-flex" role="content">
|