make dist-gzip fails for lack of sys-proclaim.lisp rule



I'm working on preparing a 5.31 release, and towards that end I'd like
to run make dist-gzip, but it fails with this message:

make[1]: *** No rule to make target `sys-proclaim.lisp', needed by `distdir'.  Stop.

There used to be a copy of sys-proclaim.lisp in Git and now there isn't
(and I agree there should not be). Usually make dist-gzip will be run in
the absence of GCL, so maybe in that case make should copy something like
sys-proclaim.lisp.in to sys-proclaim.lisp? Thanks for any advice.

best

Robert Dodier