11cc83814Sespie#!/bin/sh 21cc83814Sespie# Test that titles with @ commands don't produce markup in the <title>. 31cc83814Sespie# (And that the @ commands get expanded.) 41cc83814Sespie 5*3fb98d4aSespieif ../makeinfo --no-split --html ${srcdir-.}/html-title.txi; then 61cc83814Sespie grep '^<title>@[^<>]*</title>$' html-title.html >/dev/null 71cc83814Sespie exit_status=$? 81cc83814Sespieelse 91cc83814Sespie exit_status=1 101cc83814Sespiefi 111cc83814Sespie 12*3fb98d4aSespierm -f html-title.html 131cc83814Sespieexit $exit_status 14