* dev/doc/specification/Makefile: New.