all: doc

doc:
	$(MAKE) -C doc html


.PHONY: all doc
