Make pdf the default target for make