default_pre_build &&
cd $SOURCE_DIRECTORY &&
sed -i 's,MANDIR := $(PREFIX)/man,MANDIR := $(PREFIX)/share/man,' Makefile
