> From: Christopher Dimech <[email protected]>
> Cc: [email protected]
> Date: Thu, 1 Jul 2021 21:09:48 +0200
> 
> Texinfo should provide the doc file everyone will use.

??? The files needed for the command I wrote are part of the Texinfo
tarball.

Reply via email to