catch errors when generating options

diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in
index c5df0cbd8b2fc2c98ed5972dc8c7a111a3ebc79b..8b7483c85e25260eab98f6b7455deb3aa49c5f98 100644 (file)
--- a/doc/misc/Makefile.in
+++ b/doc/misc/Makefile.in
@@ -13,7 +13,7 @@
 # OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR
 # PERFORMANCE OF THIS SOFTWARE.
 
-# $Id: Makefile.in,v 1.3.18.4 2007/12/02 22:36:01 marka Exp $
+# $Id: Makefile.in,v 1.3.18.5 2009/07/11 00:14:02 marka Exp $
 
 srcdir =       @srcdir@
 VPATH =                @srcdir@
@@ -38,11 +38,13 @@ docclean manclean maintainer-clean::
 CFG_TEST = ../../bin/tests/cfg_test
 
 options: FORCE
-       if test -x ${CFG_TEST} && \
-          ${CFG_TEST} --named --grammar | \
-          ${PERL} ${srcdir}/sort-options.pl | \
-          ${PERL} ${srcdir}/format-options.pl >$@.new ; then \
+       if test -x ${CFG_TEST} ; \
+       then \
+               ${CFG_TEST} --named --grammar > $@.raw ; \
+               ${PERL} ${srcdir}/sort-options.pl < $@.raw > $@.sorted ; \
+               ${PERL} ${srcdir}/format-options.pl < $@.sorted > $@.new ; \
                mv -f $@.new $@ ; \
+               rm -f $@.raw $@.sorted ; \
        else \
-               rm -f $@.new ; \
+               rm -f $@.new $@.raw $@.sorted ; \
        fi