Paul Eggert 6e68271b69 doc: fix menu typo
* doc/diffutils.texi (Comparing Three Files): Fix out-of-order menu.
Bug caught by Texinfo 5.0.
2013-03-23 00:26:39 -07:00
..
2013-03-23 00:26:39 -07:00