|
From: | Phil Holmes |
Subject: | Re: Texinfo indexing |
Date: | Tue, 14 Jun 2016 08:52:47 +0100 |
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. Werner
+1 -- Phil Holmes
[Prev in Thread] | Current Thread | [Next in Thread] |