diff options
Diffstat (limited to 'chapter06/flex.xml')
| -rw-r--r-- | chapter06/flex.xml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/chapter06/flex.xml b/chapter06/flex.xml index e7bad3340..94d8af1fd 100644 --- a/chapter06/flex.xml +++ b/chapter06/flex.xml @@ -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"> |