bug-texinfo
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] `set -e' in gendocs.sh

From: Karl Berry
Subject: Re: [PATCH] `set -e' in gendocs.sh
Date: Sun, 3 Jan 2010 00:40:13 GMT 
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.
reply via email to
[Prev in Thread] Current Thread [Next in Thread]