Is there a tool to take two .texi files, compare them, and generate
a new .texi file containing mark-up to highlight the differences?
Goodness, no.
Something like texdiff
Yes, it would be nice. I'd probably be inclined to just diff the
texinfo's but not produce texinfo. Maybe texdiff can already do that,
for all I know.
Though I don't expect to find color support in texinfo tomorrow :)
Very realistic of you :).
I added it to the TODO list, at any rate ...
Thanks,
k
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo/
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-texinfo
