diff options
| author | Pierre Labastie <pieere@linuxfromscratch.org> | 2020-05-03 21:02:51 +0000 |
|---|---|---|
| committer | Pierre Labastie <pieere@linuxfromscratch.org> | 2020-05-03 21:02:51 +0000 |
| commit | efcb3933433838b71f3a4a53ec1ac6d899aaec0b (patch) | |
| tree | f0b1fb24d5ac7ebb93cc2deddefbc16938ea49d0 /chapter05/dejagnu.xml | |
| parent | 9d719e24c33f9a2ecf8a5582cd811c43a8fa46c2 (diff) | |
Make the new book
git-svn-id: http://svn.linuxfromscratch.org/LFS/branches/cross-chap5@11831 4aa44e1e-78dd-0310-a6d2-fbcd4c07a689
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> |