diff options
Diffstat (limited to 'chapter06/flex.xml')
| -rw-r--r-- | chapter06/flex.xml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/chapter06/flex.xml b/chapter06/flex.xml index b1feaf6cd..f12261235 100644 --- a/chapter06/flex.xml +++ b/chapter06/flex.xml @@ -47,7 +47,10 @@ <para>Prepare Flex for compilation:</para> -<screen><userinput remap="configure">./configure --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info</userinput></screen> +<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> |