* Makefile (standards.info standards.html standards.dvi):