Makefile: drop make docs
The API docs have moved to pybricks-api, and the pbio docs are too outdated to be useful.
help:
- @echo "Use 'make <BRICK>' to build a brick or 'make doc[-pbio]' to build some docs"
+ @echo "Use 'make <BRICK>' to build a brick."
.PHONY: doc
-doc:
- @$(MAKE) -C doc html
-
-doc-pbio:
- @$(MAKE) -C lib/pbio/doc
-
ev3dev-host:
@$(MAKE) -C bricks/ev3dev CROSS_COMPILE=
