diff options
| author | William Harrington <kb0iic@berzerkula.org> | 2021-12-11 00:52:08 -0600 |
|---|---|---|
| committer | William Harrington <kb0iic@berzerkula.org> | 2021-12-11 00:52:08 -0600 |
| commit | 2c8204d6325a1a6607392d5905227b9043da17cc (patch) | |
| tree | 5a2d9047d0a3fb5664c17284b92c6e572507d062 /chapter8/dejagnu.sh | |
| parent | f699702e72de8200632cfb95350ad51bb68c4b6f (diff) | |
Major updates.
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}"
|