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