summaryrefslogtreecommitdiff
path: root/Build/source/utils/texinfo/makeinfo/tests/html-docdesc
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/utils/texinfo/makeinfo/tests/html-docdesc')
-rwxr-xr-xBuild/source/utils/texinfo/makeinfo/tests/html-docdesc12
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