[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] texinfo.tex: remove reference to undefined macro \p
|
From: |
Karl Berry |
|
Subject: |
Re: [PATCH] texinfo.tex: remove reference to undefined macro \p |
|
Date: |
Wed, 16 May 2012 23:39:06 GMT |
- \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