Use system version of pugixml, not a checkouted one

2023-01-08 21:12:38 +01:00
parent be78d24236
commit 84b01a5de3
6 changed files with 6 additions and 19 deletions
--- a/scripts/setup.sh
+++ b/scripts/setup.sh
@@ -1,13 +1,5 @@
 #!/bin/bash

-# Pugixml
-if [ ! -d lib/pugixml ] ; then
-    git clone https://github.com/zeux/pugixml.git lib/pugixml
-    pushd lib/pugixml
-    git checkout latest
-    popd
-fi
-
 # uPDFParser
 if [ ! -d lib/updfparser ] ; then
    git clone git://soutade.fr/updfparser.git lib/updfparser