diff options
| -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> |