From 2c8204d6325a1a6607392d5905227b9043da17cc Mon Sep 17 00:00:00 2001 From: William Harrington Date: Sat, 11 Dec 2021 00:52:08 -0600 Subject: Major updates. --- chapter8/dejagnu.sh | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) (limited to 'chapter8/dejagnu.sh') 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}" -- cgit v1.2.3-54-g00ecf