[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Accordion push and pull symbols
From: |
David Kastrup |
Subject: |
Re: Accordion push and pull symbols |
Date: |
Wed, 28 Jul 2010 14:41:55 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (gnu/linux) |
Carl Sorensen <address@hidden> writes:
> I have just pushed a patch containing accordion push and pull symbols.
>
> Because this modifies the font, in order to see its effects, you will need
> to do
>
> make clean && make
>
> or
>
> rm mf/out/* && make
>
> in order to rebuild the font and see the new symbols.
The latter was not sufficient for letting the new symbols appear in the
info documentation (of course after make info).
What's your preferred form of receiving bounties?
--
David Kastrup