html-title 470 B

123456789101112131415161718
  1. #!/bin/sh
  2. # $Id: html-title,v 1.2 2010-12-04 00:05:54 karl Exp $
  3. # Public domain. Test that titles with @ commands don't produce markup
  4. # in the <title>. (And that the @ commands get expanded.)
  5. unset TEXINFO_OUTPUT LANG LANGUAGE
  6. LC_ALL=POSIX; export LC_ALL
  7. if ../makeinfo --no-split --html ${srcdir-.}/html-title.txi; then
  8. grep '^<title>@[^<>]*</title>$' html-title.html >/dev/null
  9. exit_status=$?
  10. else
  11. exit_status=1
  12. fi
  13. rm -f html-title.html
  14. exit $exit_status