diff options
Diffstat (limited to 'Build/source/utils/texinfo/makeinfo/tests/html-docdesc')
-rwxr-xr-x | Build/source/utils/texinfo/makeinfo/tests/html-docdesc | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/Build/source/utils/texinfo/makeinfo/tests/html-docdesc b/Build/source/utils/texinfo/makeinfo/tests/html-docdesc deleted file mode 100755 index 59df74e411b..00000000000 --- a/Build/source/utils/texinfo/makeinfo/tests/html-docdesc +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/sh -# Test that @documentdescription works. - -if ../makeinfo --html --no-split ${srcdir-.}/html-docdesc.txi; then - grep 'explicit document description' html-docdesc.html >/dev/null - exit_status=$? -else - exit_status=1 -fi - -rm -f html-docdesc.html -exit $exit_status |