default_pre_build  &&
cd  "${SOURCE_DIRECTORY}" &&

# disable pdf building because it fails for now
sed -e 's;all-bin all-doc;all-bin;' \
    -e 's;install-bin install-doc;install-bin;' \
    -i Makefile.in
