# if $BUILD_DIRECTORY lives on the same partition as $INSTALL_ROOT
# this will speed the process of copying by a lot... 
# think seconds instead of minutes

mkdir -vp $INSTALL_ROOT/usr/share/doc/texmf/{texmf,texmf-dist,texmf-doc} &&
mkdir -vp $INSTALL_ROOT/usr/share/man/man{1,5} &&
mv -v texmf/doc/man/man1/*.1 $INSTALL_ROOT/usr/share/man/man1/ &&
mv -v texmf/doc/man/man5/*.5 $INSTALL_ROOT/usr/share/man/man5/ &&
mv -v texmf/doc $INSTALL_ROOT/usr/share/doc/texmf/texmf &&
mv -v texmf-doc $INSTALL_ROOT/usr/share/doc/texmf/texmf-doc &&
mv -v texmf-dist/doc $INSTALL_ROOT/usr/share/doc/texmf-dist/ &&
mv -v texmf $INSTALL_ROOT/usr/share/ &&
mv -v texmf-dist $INSTALL_ROOT/usr/share/
