Merge branch 'stable-3.0'

semigroups · Jan 24, 2018 · 16e9b41 · 16e9b41
2 parents c52063a + 8e0346a
commit 16e9b41
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile.am b/Makefile.am
@@ -32,7 +32,7 @@ endif
 
 all-local: semigroups.la
 	$(mkdir_p) $(top_srcdir)/$(BINARCHDIR) $(top_srcdir)/bin/lib
-	cp -R src/libsemigroups/.libs/* $(top_srcdir)/bin/lib/
+	cp -RL src/libsemigroups/.libs/* $(top_srcdir)/bin/lib/
 if SYS_IS_CYGWIN
 	cp .libs/semigroups.dll $(GAPINSTALLLIB)
 else