From 98d4c1d0775ab95d1da1ed4b04da1028af2d5ea3 Mon Sep 17 00:00:00 2001
From: "Richard M. Stallman" <rms@gnu.org>
Date: Tue, 1 Jul 1997 06:40:41 +0000
Subject: [PATCH] (etc): Copy symlinks, as in src.

---
 make-dist | 18 +++++++++++++++++-
 1 file changed, 17 insertions(+), 1 deletion(-)

diff --git a/make-dist b/make-dist
index fcba8c061ef..464b2f0f1de 100755
--- a/make-dist
+++ b/make-dist
@@ -6,7 +6,7 @@
 #### be distributed.  This means that if you add a file with an odd name,
 #### you should make sure that this script will include it.
 
-# Copyright (C) 1995 Free Software Foundation, Inc.
+# Copyright (C) 1995, 1997 Free Software Foundation, Inc.
 #
 # This file is part of GNU Emacs.
 #
@@ -406,6 +406,22 @@ echo "Making links to \`etc'"
 ### tex litter.
 (cd etc
  ln `ls -d * | grep -v 'RCS' | grep -v 'Old' | grep -v '^e$'` ../${tempdir}/etc
+ ## If we ended up with a symlink, or if we did not get anything
+ ## due to a cross-device symlink, copy the file.
+ for file in [a-zA-Z]*.[hcs] [a-zA-Z]*.in [a-zA-Z]*.opt; do
+   if test -f ../${tempdir}/etc/$file; then
+     # test -f appears to succeed for a symlink
+     if test -L ../${tempdir}/etc/$file; then
+       rm ../${tempdir}/etc/$file
+       cp $file ../${tempdir}/etc
+       chmod a-w ../${tempdir}/etc/$file
+     fi
+   else
+     rm ../${tempdir}/etc/$file
+     cp $file ../${tempdir}/etc
+     chmod a-w ../${tempdir}/etc/$file
+   fi
+ done
  cd ../${tempdir}/etc
  rm -f DOC* *~ \#*\# *.dvi *.log *.orig *.rej *,v =* core
  rm -f TAGS)
-- 
2.39.2