1.0.43.2: remove bashishm from source-distribution.sh

[sbcl.git] / doc / manual / make-tempfiles.sh

diff --git a/doc/manual/make-tempfiles.sh b/doc/manual/make-tempfiles.sh
index be2abf0..c212d74 100644 (file)
--- a/doc/manual/make-tempfiles.sh
+++ b/doc/manual/make-tempfiles.sh
@@ -21,7 +21,7 @@ then
 
     sbclsystem=$SBCL_PWD/../../src/runtime/sbcl
     sbclcore=$SBCL_PWD/../../output/sbcl.core
-    if [ -e $sbclsystem ] && [ -e $sbclcore ]
+    if [ -f $sbclsystem ] && [ -f $sbclcore ]
     then
         SBCLRUNTIME="$sbclsystem --core $sbclcore"
         SBCL_HOME=$SBCL_PWD/../../contrib/; export SBCL_HOME