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