Adding dsl.tex generation to Makefile.