Makefile generates PDF but not HTML yet