diff options
Diffstat (limited to 'check-guile.in')
-rw-r--r-- | check-guile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/check-guile.in b/check-guile.in index 645755665..14cd94421 100644 --- a/check-guile.in +++ b/check-guile.in @@ -33,7 +33,7 @@ else fi # documentation searching ignores GUILE_LOAD_PATH. -if [ ! -e guile-procedures.txt ]; then +if [ ! -f guile-procedures.txt ] ; then ln -s libguile/guile-procedures.txt . fi |