From b32ce17b38404967ae478c233984f20339ce231a Mon Sep 17 00:00:00 2001
From: "Richard M. Stallman" <rms@gnu.org>
Date: Wed, 9 Jul 1997 04:49:35 +0000
Subject: [PATCH] Fix previous change.

---
 make-dist | 16 +++++++++++-----
 1 file changed, 11 insertions(+), 5 deletions(-)

diff --git a/make-dist b/make-dist
index 8f3a7bfa67b..42875f97fb3 100755
--- a/make-dist
+++ b/make-dist
@@ -159,11 +159,17 @@ rm -f /tmp/el /tmp/elc
 losers="`comm -23 /tmp/el /tmp/elc`"
 bogosities=
 for file in $losers; do
-  if ! grep -q "dontcompilefiles:.* $file\($\| \)" lisp/Makefile; then
-    if [ "$file" != site-init.el ] && [ "$file" != site-load.el ] \
-       && [ "$file" != site-start.el ] && [ "$file" != default.el ]; then
-      bogosities="$file $bogosities"
-    fi
+  file1=`echo $file | sed -e "s|.*/||"`
+  if ! grep -q "dontcompilefiles:.* $file1\($\| \)" lisp/Makefile; then
+    case $file in
+      site-init.el | site-load.el | site-start.el | default.el)
+        ;;
+      term/*)
+        ;;
+      *)
+        bogosities="$file $bogosities"
+	;;
+    esac
   fi
 done
 if [ x"${bogosities}" != x"" ]; then
-- 
2.39.5