diff options
Diffstat (limited to 'chapter05/dejagnu.xml')
| -rw-r--r-- | chapter05/dejagnu.xml | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/chapter05/dejagnu.xml b/chapter05/dejagnu.xml index 8f097e816..bae0ed7d9 100644 --- a/chapter05/dejagnu.xml +++ b/chapter05/dejagnu.xml @@ -41,11 +41,6 @@ <sect2 role="installation"> <title>Installation of DejaGNU</title> - <para>The most recent version of this package was released in 2004. Apply - some fixes that have accumulated since then:</para> - -<screen><userinput remap="pre">patch -Np1 -i ../&dejagnu-consolidated-patch;</userinput></screen> - <para>Prepare DejaGNU for compilation:</para> <screen><userinput remap="configure">./configure --prefix=/tools</userinput></screen> |