Re: [DOCS] Texinfo docs/target

Andreas Seltenreich wrote: > Now I'm wondering, if it'd be worth fixing the index and some minor > encoding deficiencies (e.g. medium-length dashes end up as > "[mdash]"), and adding Autoconf support in order to make it a proper > target. We probably won't ship it with the default distribution, bu

[DOCS] Texinfo docs/target

I've been using a texinfo (more precisely: info) version of the docs for some weeks now, and really came to love it. It is still the version I mentioned here: Now I'm wondering, if it'd be worth fixing the index and some minor enc