diff options
| -rw-r--r-- | Documentation/Makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index 74e2bb858003..12f0ec73fb0a 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -54,3 +54,17 @@ distclean: clean livesphinx: $(MAKE) -f Makefile.sphinx livehtml SPHINXOPTS="$(SPHINXOPTS)" + +help: + @echo "all - Builds coreboot porting guide PDF (outdated)" + @echo "sphinx - Builds html documentation in _build directory" + @echo "clean - Cleans intermediate files" + @echo "clean-sphinx - Removes sphinx output files" + @echo "distclean - Removes PDF files as well" + @echo + @echo " Makefile.sphinx builds - run with $(MAKE) -f Makefile-sphinx [target]" + @echo + @$(MAKE) -s -f Makefile.sphinx help 2>/dev/null + +.phony: help livesphinx sphinx test +.phony: distclean clean clean-sphinx |