doc:
	make -C doc

.PHONY: doc