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, 11 insertions, 0 deletions
diff --git a/Build/source/utils/texinfo/makeinfo/tests/html-extrali.txi b/Build/source/utils/texinfo/makeinfo/tests/html-extrali.txi new file mode 100644 index 00000000000..d0c17e98785 --- /dev/null +++ b/Build/source/utils/texinfo/makeinfo/tests/html-extrali.txi @@ -0,0 +1,11 @@ +\input texinfo +@setfilename menuli.info + +@c extra li generated after <menu> +@c From: Marius Groeger <mag@sysgo.de>, 13nov98. + +@menu +* entry1:: +@end menu + +@bye |