diff options
Diffstat (limited to 'chapter07/dejagnu.xml')
| -rw-r--r-- | chapter07/dejagnu.xml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/chapter07/dejagnu.xml b/chapter07/dejagnu.xml index 8f1ab7648..727173d0e 100644 --- a/chapter07/dejagnu.xml +++ b/chapter07/dejagnu.xml @@ -52,8 +52,7 @@ makeinfo --plaintext -o doc/dejagnu.txt doc/dejagnu.texi</userinput></scr <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> +install -v -m644 doc/dejagnu.{html,txt} /usr/share/doc/dejagnu-&dejagnu-version;</userinput></screen> <para>To test the results, issue:</para> |