./configure
gmake boot
gmake packages

gmake doc
gmake prepareexports
gmake exports
