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

[Robert Pluim]

>>>>> On Wed, 17 Feb 2021 14:27:02 +0000, "Basil L. Contovounesios" 
>>>>> <contovob@tcd.ie> said:

    Basil> Robert Pluim <rpluim@gmail.com> writes:
    >>>>>>> On Wed, 17 Feb 2021 00:40:48 -0500, Glenn Morris <rgm@gnu.org> said:
    >> 
    Glenn> rms said, off-list:
    >> 
    Glenn> That is a moral fault.  We must distribute the real source code,
    Glenn> always without exception.
    >> 
    Glenn> Would you please report this to bug-gnu-emacs and put moral-issue in
    Glenn> the Subject field?
    >> 
    >> Which manuals?

    Basil> See upthread and the OP: https://bugs.gnu.org/45143#5

Ah, sorry, I thought Glenn was opening a new bug.

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?

Robert