#! /bin/sh

# Make sure we only create dist-info target once.
# This is just an example -- basically for many targets in texinfos.am
# we only want them to appear once.

. $srcdir/defs || exit 1

cat > Makefile.am << 'END'
info_TEXINFOS = maude.texi liver.txi heart.texinfo
END

echo '@setfilename maude.info' > maude.texi
echo '@setfilename liver.info' > liver.txi
echo '@setfilename heart.info' > heart.texinfo
: > texinfo.tex

$ACLOCAL || exit 1
$AUTOMAKE || exit 1

test `grep '^dist-info:' Makefile.in | wc -l` -eq 1