Documentation/Makefile: break up texi pipeline