1#!/bin/sh
2# Test that @documentdescription works.
3
4if ../makeinfo --html --no-split ${srcdir-.}/html-docdesc.txi; then
5  grep 'explicit document description' html-docdesc.html >/dev/null
6  exit_status=$?
7else
8  exit_status=1
9fi
10
11rm -f html-docdesc.html
12exit $exit_status
13