Remove obsolete target in Makefile
We no longer have dvis on the website so we do not make them