[latexrefman] Add to header text in Indexes

Karl Berry karl at freefriends.org
Wed Aug 11 23:11:10 CEST 2021

    I am trying to resist the temptation to tweak, because I am trying to
    add rather than adjust

It is good to adjust things that come up while adding. Indeed, that's
likely to be the only time that such things are looked at :). -k

More information about the latexrefman mailing list.