diff options
Diffstat (limited to 'chapter05/dejagnu.xml')
| -rw-r--r-- | chapter05/dejagnu.xml | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/chapter05/dejagnu.xml b/chapter05/dejagnu.xml index a821e9bba..8f1ab7648 100644 --- a/chapter05/dejagnu.xml +++ b/chapter05/dejagnu.xml @@ -44,11 +44,16 @@ <para>Prepare DejaGNU for compilation:</para> -<screen><userinput remap="configure">./configure --prefix=/tools</userinput></screen> +<screen><userinput remap="configure">./configure --prefix=/usr +makeinfo --html --no-split -o doc/dejagnu.html doc/dejagnu.texi +makeinfo --plaintext -o doc/dejagnu.txt doc/dejagnu.texi</userinput></screen> <para>Build and install the package:</para> -<screen><userinput remap="install">make install</userinput></screen> +<screen><userinput remap="install">make install +install -v -dm755 /usr/share/doc/dejagnu-&dejagnu-version; +install -v -m644 doc/dejagnu.{html,txt} \ + /usr/share/doc/dejagnu-&dejagnu-version;</userinput></screen> <para>To test the results, issue:</para> |