docs makefile generates *nice* pdf pictures