|
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.
[Prev in Thread] | Current Thread | [Next in Thread] |