* make-dist (possibly_non_vc_files): Append exec standard files.
authorPo Lu <luangruo@yahoo.com>
Sun, 21 Jan 2024 02:04:02 +0000 (10:04 +0800)
committerPo Lu <luangruo@yahoo.com>
Sun, 21 Jan 2024 02:04:02 +0000 (10:04 +0800)
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 \