diff options
Diffstat (limited to 'Build/source/utils/texinfo/makeinfo/tests/menu-whitespace.txi')
-rw-r--r-- | Build/source/utils/texinfo/makeinfo/tests/menu-whitespace.txi | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/Build/source/utils/texinfo/makeinfo/tests/menu-whitespace.txi b/Build/source/utils/texinfo/makeinfo/tests/menu-whitespace.txi deleted file mode 100644 index fd1c39f7ebf..00000000000 --- a/Build/source/utils/texinfo/makeinfo/tests/menu-whitespace.txi +++ /dev/null @@ -1,18 +0,0 @@ -@setfilename top.info - -@node Top -@top Top - -@menu -* first:: -@end menu - -@node first -@chapter first - -@menu @c -* second:: -@end menu - -@node second -@section second |