>>>>> "Maciej" == Maciej W Rozycki <macro@mips.com> writes: Maciej> You surely must have verified your changes before committing and the Maciej> former one is especially old, so am I missing something? I find it hard Maciej> to believe nobody has tripped over it so far. FWIW I normally test doc changes with "make info" but basically never with "make pdf". Tom