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

[Robert Pluim]

>>>>> On Wed, 17 Feb 2021 18:09:31 +0200, Eli Zaretskii <eliz@gnu.org> said:

    >> 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?

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

We need a functional emacs to byte-compile files as well, I donʼt see
why this is any different.

In my mind, source code without the accompanying build instructions is
incomplete (unless you count the README as those instructions).

Robert