Better doc building command for the Makefile