diff options
| author | Xi Ruoyao <xry111@xry111.site> | 2024-01-18 19:48:54 +0800 |
|---|---|---|
| committer | Xi Ruoyao <xry111@xry111.site> | 2024-01-19 01:58:28 +0800 |
| commit | 9512d6c7ba21e5765754b53db08c55851fecdc05 (patch) | |
| tree | 4a93f8bfa06cf5eda6d04f7f92fd8143e94cb9b3 | |
| parent | d6cbb12c4c152479a8861e1251dcd7ea10eff81d (diff) | |
dejagnu: Move test before install
There seems no reason to test after install... So just do it like other
packages.
| -rw-r--r-- | chapter08/dejagnu.xml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/chapter08/dejagnu.xml b/chapter08/dejagnu.xml index 4dc422f3a..1f3ecd057 100644 --- a/chapter08/dejagnu.xml +++ b/chapter08/dejagnu.xml @@ -54,16 +54,16 @@ cd build</userinput></screen> 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> + <para>To test the results, issue:</para> + +<screen><userinput remap="test">make check</userinput></screen> + + <para>Install the package:</para> <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> - -<screen><userinput remap="test">make check</userinput></screen> - </sect2> |