Skip to content

doc: Document `make help` target in the beginners guide

Patrick Steinhardt requested to merge pks-docs-beginners-guide-makefile-help into master

While we already have some advice in our beginners guide about how to use our Makefile, it doesn't hint at the available make help target. Mention it so that users can discover by themselves what other targets exist.

Merge request reports