[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] `set -e' in gendocs.sh
|
From: |
Robert Millan |
|
Subject: |
Re: [PATCH] `set -e' in gendocs.sh |
|
Date: |
Sun, 3 Jan 2010 03:37:57 +0100 |
|
User-agent: |
Mutt/1.5.18 (2008-05-17) |
On Sun, Jan 03, 2010 at 12:40:13AM +0000, Karl Berry wrote:
> Hi Robert,
>
> * gendocs.sh: Use `set -e' mode.
>
> Well, I'm not crazy about set -e, but since I already gave in with the
> vastly more complex texi2dvi, it'd be silly to object now :). I
> installed the change. Thanks.
You're welcome :-)
--
Robert Millan
"Be the change you want to see in the world" -- Gandhi