Re: Installing the Emacs executable

[Stefan Monnier]

>> That's a different issue.  My question was about what "make install"
>> does with DOC, not what "make emacs" does in src.  We can install DOC
>> under the name DOC-XX.YY.ZZ without changing what happens in src and
>> in etc of the build tree.
> Oh, I missed that. FWIW, I have never found the .ZZ part useful whether
> installed or uninstalled.

FWIW, my local hacks get rid of "DOC-NN.MM" in favor of "DOC" and my
local "make" script does "rm src/emacs-[0-9]*" before running make.


        Stefan