diff --git a/extra/expat/build b/extra/expat/build index 6daf22f8..903df67e 100755 --- a/extra/expat/build +++ b/extra/expat/build @@ -1,7 +1,14 @@ #!/bin/sh -e ./configure \ - --prefix=/usr + --prefix=/usr \ + --without-xmlwf \ + --without-examples \ + --without-tests \ + --without-docbook make make DESTDIR="$1" install + +# Remove documentation (Changelogs, etc). +rm -rf "$1/usr/share"