t/txinfo9.sh

   1 #! /bin/sh
   2 # Copyright (C) 2001-2012 Free Software Foundation, Inc.
   3 #
   4 # This program is free software; you can redistribute it and/or modify
   5 # it under the terms of the GNU General Public License as published by
   6 # the Free Software Foundation; either version 2, or (at your option)
   7 # any later version.
   8 #
   9 # This program is distributed in the hope that it will be useful,
  10 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  11 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12 # GNU General Public License for more details.
  13 #
  14 # You should have received a copy of the GNU General Public License
  15 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
  16
  17 # Make sure we only create texinfo-related targets once.
  18
  19 . ./defs || Exit 1
  20
  21 cat > Makefile.am << 'END'
  22 info_TEXINFOS = maude.texi liver.txi heart.texinfo
  23 END
  24
  25 echo '@setfilename maude.info' > maude.texi
  26 echo '@setfilename liver.info' > liver.txi
  27 echo '@setfilename heart.info' > heart.texinfo
  28 : > texinfo.tex
  29
  30 $ACLOCAL
  31 $AUTOMAKE
  32
  33 # These are just examples -- basically for many targets in texinfos.am
  34 # we only want them to appear once.  But grepping them all would be
  35 # overkill.
  36 for t in info dist-info dvi-am install-html uninstall-pdf-am; do
  37   $EGREP "(^| )$t*.:" Makefile.in # For debugging.
  38   test `$EGREP -c "(^| )$t(:| *.:)" Makefile.in` -eq 1
  39 done
  40
  41 :