[LyX/master] Small fixes to extract.sh

[Jean-Marc Lasgouttes]

commit 84412ff198c64c2b375a97b11ad702d2be5cd17e
Author: Jean-Marc Lasgouttes <lasgouttes at lyx.org>
Date:   Sun Nov 29 21:40:22 2020 +0100

    Small fixes to extract.sh
    
    The libs/ directory is not relevant anymore.
---
 3rdparty/boost/extract.sh |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/3rdparty/boost/extract.sh b/3rdparty/boost/extract.sh
index bdc0a69..c355c4a 100755
--- a/3rdparty/boost/extract.sh
+++ b/3rdparty/boost/extract.sh
@@ -38,7 +38,7 @@ find boost -name \*.hpp | xargs rm
 #find libs  -name \*.cpp | xargs rm
 
 cp -vR needed/boost .
-cp -vR needed/libs .
+#cp -vR needed/libs .
 
 rm -rf needed