1 1.1 christos #!/bin/sh 2 1.1 christos # Test that titles with @ commands don't produce markup in the <title>. 3 1.1 christos # (And that the @ commands get expanded.) 4 1.1 christos 5 1.1 christos if ../makeinfo --no-split --html ${srcdir-.}/html-title.txi; then 6 1.1 christos grep '^<title>@[^<>]*</title>$' html-title.html >/dev/null 7 1.1 christos exit_status=$? 8 1.1 christos else 9 1.1 christos exit_status=1 10 1.1 christos fi 11 1.1 christos 12 1.1 christos rm -f html-title.html 13 1.1 christos exit $exit_status 14