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