Make sure extensions are built before docs; get rid of strange inter-directory dependency