#! /bin/sh # Copyright (C) 2005, 2010 Free Software Foundation, Inc. # # This program is free software; you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by # the Free Software Foundation; either version 2, or (at your option) # any later version. # # This program is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY; without even the implied warranty of # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License # along with this program. If not, see . # Make sure `missing texinfo' does not create empty files. # Report from Bob Proulx. . ./defs || Exit 1 set -e echo info_TEXINFOS = bar.texi >Makefile.am echo grepme >bar.info $sleep cat >bar.texi <>configure.in cat >makeinfo <<\EOF #!/bin/sh # This script # 1. fails so `missing' can take over # 2. does not understand `--version' so `missing' thinks `makeinfo' isn't # installed exec false EOF chmod +x makeinfo PATH=`pwd`$PATH_SEPARATOR$PATH export PATH $ACLOCAL $AUTOCONF $AUTOMAKE --add-missing ./configure $MAKE grep grepme bar.info test -f bar.info # We should not create a missing bar.info. rm -f bar.info $MAKE && Exit 1 test ! -f bar.info