diff options
Diffstat (limited to 'Build/source/utils/texinfo/makeinfo/tests/html-extrali.txi')
-rw-r--r-- | Build/source/utils/texinfo/makeinfo/tests/html-extrali.txi | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/Build/source/utils/texinfo/makeinfo/tests/html-extrali.txi b/Build/source/utils/texinfo/makeinfo/tests/html-extrali.txi deleted file mode 100644 index d0c17e98785..00000000000 --- a/Build/source/utils/texinfo/makeinfo/tests/html-extrali.txi +++ /dev/null @@ -1,11 +0,0 @@ -\input texinfo -@setfilename menuli.info - -@c extra li generated after <menu> -@c From: Marius Groeger <mag@sysgo.de>, 13nov98. - -@menu -* entry1:: -@end menu - -@bye |