diff options
Diffstat (limited to 'makeinfo/tests/html-extrali.txi')
| -rw-r--r-- | makeinfo/tests/html-extrali.txi | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/makeinfo/tests/html-extrali.txi b/makeinfo/tests/html-extrali.txi new file mode 100644 index 0000000..d0c17e9 --- /dev/null +++ b/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 |