diff options
Diffstat (limited to 'chapter06/flex.xml')
| -rw-r--r-- | chapter06/flex.xml | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/chapter06/flex.xml b/chapter06/flex.xml index d5a00b631..bf424fe04 100644 --- a/chapter06/flex.xml +++ b/chapter06/flex.xml @@ -48,8 +48,6 @@ <para>Prepare Flex for compilation:</para> <screen><userinput remap="configure">./configure --prefix=/usr \ - --mandir=/usr/share/man \ - --infodir=/usr/share/info \ --docdir=/usr/share/doc/flex-&flex-version;</userinput></screen> <para>Compile the package:</para> @@ -90,11 +88,6 @@ 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">cp -v doc/flex.pdf /usr/share/doc/flex-&flex-version;</userinput></screen> - </sect2> <sect2 id="contents-flex" role="content"> |