diff options
Diffstat (limited to 'texinfo/testsuite/makeinfo.0/mini.exp')
-rw-r--r-- | texinfo/testsuite/makeinfo.0/mini.exp | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/texinfo/testsuite/makeinfo.0/mini.exp b/texinfo/testsuite/makeinfo.0/mini.exp deleted file mode 100644 index 17d48bdee61..00000000000 --- a/texinfo/testsuite/makeinfo.0/mini.exp +++ /dev/null @@ -1,17 +0,0 @@ -# Lessons: -# 1) may use \ to continue long lines -# 2) Careful in specifying string end on string match, to be sure -# to exclude errors! (cf output from nonsense.exp) - -catch "exec $MAKEINFO -o ./mini.info $srcdir/text/minimal.texi" maki_out - -verbose "Makeinfo output: $maki_out" 1 - -if [string match \ - "Making*file*mini*from*minimal.texi'." \ - "$maki_out" \ - ] then { - pass "minimal source file" -} else { - fail "minimal source file" -} |