> Incidentally, looking at the PDF file, I wonder what could possibly
> be the purpose of using "italic" dots as leaders in the table of
> contents?
I have exactly the same question...
I wasn't aware that it was. Will look into it.
karl
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo/
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-texinfo
