Re: [PATCH] texinfo.tex: remove reference to undefined macro \p

[Karl Berry]

    -      \ifx\p\space\else\addtokens{\filename}{\PP}%
    -        \advance\filenamelength by 1
    -      \fi
    +      \addtokens{\filename}{\PP}%
    +      \advance\filenamelength by 1

Agreed, installed, thanks.
(Now we'll see if we are both missing some obscure point. :)

k