Restore missing Makefile for docs.