bug#31929: [PATCH] Install emacs-module.h (Bug#31929)

[Eli Zaretskii]

> From: Glenn Morris <rgm@gnu.org>
> Date: Wed, 03 Oct 2018 16:51:04 -0400
> Cc: p.stephani2@gmail.com, kaushal.modi@gmail.com
> 
> After the fact, I'm wondering if this should obey the EMACS_NAME
> transformation? My initial feeling is, yes.

I'm not sure.  If we edit the name, a given module couldn't be
compiled against differently-named Emacs distributions, which I think
is undesirable.  Also, compiling a module inside the Emacs tree and
outside it will need source-level changes to support both.  Lastly, we
name the file explicitly in the documentation.