[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#12187: 24.1.50; `Info-breadcrumbs-depth' should show `File:' without

From: Juri Linkov
Subject: bug#12187: 24.1.50; `Info-breadcrumbs-depth' should show `File:' without ".info" suffix
Date: Thu, 23 Aug 2012 02:33:05 +0300
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/24.2.50 (x86_64-pc-linux-gnu)

>> I agree with Stefan - please elide the suffix in Emacs, at least.
>> That could be done during rendering, if you do not think that
>> makeinfo should do it generally.
> This can be implemented in Emacs with the following patch.
> The change should have no bad effect in case when makeinfo
> will be changed to produce file names without suffix in the header.

Installed and closed.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]