[Top][All Lists]

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

Re: Texinfo indexing

From: Werner LEMBERG
Subject: Re: Texinfo indexing
Date: Tue, 14 Jun 2016 06:00:33 +0200 (CEST)

> This indexing issue, however, might well be a reasonable incentive
> to bite the bullet and move to a current Texinfo version.
> Thoughts?

I support your suggestion.


reply via email to

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