Neil Martinsen-Burrell wrote: > As Stephan mentioned in the thread on TeX version control, the ignore > command, limited as it is, is not mentioned in the User's Guide. This > patch adds that. bb: approve Ian C.