bug#45143: Missing source for some doc/misc manuals (moral-issue)

[Eli Zaretskii]

> From: Robert Pluim <rpluim@gmail.com>
> Date: Wed, 17 Feb 2021 15:41:09 +0100
> Cc: Glenn Morris <rgm@gnu.org>, 45143@debbugs.gnu.org
> 
> >>>>> On Wed, 17 Feb 2021 14:27:02 +0000, "Basil L. Contovounesios" 
> >>>>> <contovob@tcd.ie> said:
> 
> Checking in the org-mode .org file shouldn't be an issue. I guess we
> also need the Makefile rules to turn it into an info file?

Not necessarily.  having the instructions in the README should be
enough.  (Making Info from .org as part of the build could be
problematic, since we need a functional Emacs for that.  While that
could be done, I don't see why we should bother.)