default_install &&
install -d $INSTALL_ROOT/usr/doc/metis  &&
install -m 644 $SOURCE_DIRECTORY/manual/manual.pdf $INSTALL_ROOT/usr/doc/metis
