txinfo-tex-dist.sh 1.2 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647
  1. #! /bin/sh
  2. # Copyright (C) 1996-2017 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. # Test to ensure texinfo.tex is included in distribution. Bug report by
  17. # Jim Meyering.
  18. required=makeinfo
  19. . test-init.sh
  20. cat >> configure.ac <<'END'
  21. AC_OUTPUT
  22. END
  23. cat > Makefile.am << 'END'
  24. info_TEXINFOS = textutils.texi
  25. .PHONY: test1 test2
  26. test1:
  27. @echo DISTFILES = $(DISTFILES)
  28. echo ' ' $(DISTFILES) ' ' | grep '[ /]texinfo\.tex '
  29. test2: distdir
  30. ls -l $(distdir)
  31. test -f $(distdir)/texinfo.tex
  32. END
  33. echo '@setfilename textutils.info' > textutils.texi
  34. : > texinfo.tex
  35. $ACLOCAL
  36. $AUTOCONF
  37. $AUTOMAKE
  38. ./configure
  39. $MAKE test1 test2
  40. :