если включаешь генерацию документации в Makefile, то доводить генерацию надо до состояния .tex или до состояния .pdf?
до pdf или html, смотря что у тебя там за документация и что удобнее будет читать на компе
до pdf или html, смотря что у тебя там за документация и что удобнее будет читать на компе