However, I'm not going to include it upstream. You should maintain it as a local patch.Thank you for not committing this; Info output indexing is very important to me.
With the patch I suggested Info indexing is kept; it's dvi indexing that is lost.
Paolo _______________________________________________ help-smalltalk mailing list [email protected] http://lists.gnu.org/mailman/listinfo/help-smalltalk
