diff options
Diffstat (limited to 'chapter8/dejagnu.sh')
| -rw-r--r-- | chapter8/dejagnu.sh | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/chapter8/dejagnu.sh b/chapter8/dejagnu.sh index 41ab6fc..e495e5c 100644 --- a/chapter8/dejagnu.sh +++ b/chapter8/dejagnu.sh @@ -1,10 +1,10 @@ -#!/bin/bash -set -e - -./configure --prefix=/usr && -makeinfo --html --no-split -o doc/dejagnu.html doc/dejagnu.texi && -makeinfo --plaintext -o doc/dejagnu.txt doc/dejagnu.texi && - -make -j1 install && -install -v -dm755 /usr/share/doc/dejagnu-"${VERSION}" && -install -v -m644 doc/dejagnu.{html,txt} /usr/share/doc/dejagnu-"${VERSION}" +#!/bin/bash
+set -e
+
+./configure --prefix=/usr &&
+makeinfo --html --no-split -o doc/dejagnu.html doc/dejagnu.texi &&
+makeinfo --plaintext -o doc/dejagnu.txt doc/dejagnu.texi &&
+
+make -j1 install &&
+install -v -dm755 /usr/share/doc/dejagnu-"${VERSION}" &&
+install -v -m644 doc/dejagnu.{html,txt} /usr/share/doc/dejagnu-"${VERSION}"
|