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