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 makeinfo --html --no-split -o doc/dejagnu.html ../doc/dejagnu.texi makeinfo --plaintext -o doc/dejagnu.txt ../doc/dejagnu.texi - Build and install the package: + To test the results, issue: + +make check + + Install the package: make install install -v -dm755 /usr/share/doc/dejagnu-&dejagnu-version; install -v -m644 doc/dejagnu.{html,txt} /usr/share/doc/dejagnu-&dejagnu-version; - To test the results, issue: - -make check -