* make-dist (possibly_non_vc_files): Append exec standard files.

(cherry picked from commit e654f9ce1e6f146346160044a6469e34f25dfeea)

diff --git a/make-dist b/make-dist
index 91639652350fbc2288c742d7fe3111bd0c27f460..c8b0fcf4f24649adc2945adbb3cc4b4d6df034ff 100755 (executable)
--- a/make-dist
+++ b/make-dist
@@ -358,6 +358,8 @@ possibly_non_vc_files="
   admin/charsets/jisx2131-filter
   src/config.in
   exec/configure exec/config.h.in
+  exec/config.sub exec/config.guess
+  exec/install-sh
   leim/small-ja-dic-option
 "$(
   find admin doc etc lisp \