> Or is the following style considered preferable? (There is no > difference in functionality between the two diffs, just a matter of > style.)
Given that redundancy is a nightmare (in my book), I find it
preferable indeed (and it's more than a question of style).
Stefan
_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo
