Merge branch 'stable-1.3' into improve-opers

digraphs · Nov 18, 2020 · b654260 · b654260
2 parents a081ee0 + 3bfac5e
commit b654260
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/travis-build-dependencies.sh b/scripts/travis-build-dependencies.sh
@@ -51,7 +51,7 @@ mkdir pkg
 ################################################################################
 # Copy Digraphs to its proper location
 if [ "$SETUP" == "appveyor" ]; then
-  cp -r /cygdrive/c/projects/digraphs $GAPROOT/pkg/digraphs
+  cp -r /cygdrive/c/projects/digraphs* $GAPROOT/pkg/digraphs
 elif [ "$SETUP" == "travis" ]; then
   mv $HOME/digraphs $GAPROOT/pkg/digraphs
 fi