Re: info info; man info (documentation about info)

Evening Gavin,

Gavin Smith <[email protected]> writes:

> On Tue, Jan 10, 2023 at 02:28:16PM +0100, Arsen Arsenović wrote:
>> Also, I didn't realize this before it was mentioned here, but yes,
>> ``(info)Help'' indeed comes with EMACS.  Perhaps we should include a
>> copy in the Texinfo distribution too, or encourage downstreams to
>> extract info.info out of EMACS, so that those installing info but not
>> EMACS (which is rather common) have immediate access to the tutorial.
>> Eli, Gavin, what do you think about that?
>
> (Hopefully my last mail this evening.)
>
> info.texi used to be distributed with Texinfo but was maintained
> as part of Emacs.  There were complaints that having the same file
> distributed with both Emacs and Texinfo was inconvenient:
>
> https://lists.gnu.org/archive/html/bug-texinfo/2015-10/msg00062.html
>
> I'm happy that info.texi is not distributed with Texinfo, anyway, as
> it is a file that we cannot control and yet would appear responsible
> for if it came with Texinfo.  It makes sense for info-stnd.texi to
> be maintained as part of the Texinfo project because the standalone
> Info browser is also maintained as part of the same project, but the
> same argument does not apply to info.texi.  Discussing changes to
> info.texi on a different project's mailing list could be an unedifying
> experience, which is natural and unavoidable even with the best wills
> in the world.

Ah, I see.  The historic context makes sense now.  Do you think
distributions should make it available without Emacs?  If so, I can do
some outreachy (in a few weeks) and we could print a message at install
time or so about it, so that it does not become "cult knowledge".

(apologies for my lack of familiarity with the history)

Thanks in advance, have a lovely night.
-- 
Arsen Arsenović

-----BEGIN PGP SIGNATURE-----

iOYEARYKAI4WIQT+4rPRE/wAoxYtYGFSwpQwHqLEkwUCY79IRV8UgAAAAAAuAChp
c3N1ZXItZnByQG5vdGF0aW9ucy5vcGVucGdwLmZpZnRoaG9yc2VtYW4ubmV0RkVF
MkIzRDExM0ZDMDBBMzE2MkQ2MDYxNTJDMjk0MzAxRUEyQzQ5MxAcYXJzZW5AYWFy
c2VuLm1lAAoJEFLClDAeosSTsncBANJNA1M5AjBiDDwbZ70eH2rSM5hdacRrpoYP
h9QNoGn4AP9pwLcct4dydiq32JujjNAoWxFQfcI0Iqof9CHergWCDg==
=0qJq
-----END PGP SIGNATURE-----