default_pre_build &&

sed -i 's:/html::' doc/HTML/Makefile.in
