Remove obsolete dev-docs target from toplevel Makefile
PATCH 1/1 Remove obsolete dev-docs target from toplevel Makefile
The actual target was removed with commit 5806093a20e20209d4b88ab866ae1e6017c95de7 ("docs: drop doxygen stuff")
Signed-off-by Olaf Hering <[email protected]>
Cc Ian Jackson <[email protected]>
Cc Stefano Stabellini <[email protected]>
Cc Ian Campbell <[email protected]>
Cc Wei Liu <[email protected]>
--- Makefile | 5 ----- 1 file changed, 5 deletions(-)
Makefile +0 -5
@@ -87,10 +87,6 @@ tools/firmware/ovmf-dir-force-update: install-docs: $(MAKE) -C docs install -.PHONY: dev-docs -dev-docs: - $(MAKE) -C docs dev-docs - # build xen and the tools and place them in the install # directory. 'make install' should then copy them to the normal system # directories
@@ -182,7 +178,6 @@ help: @echo ' tools - build and install tools' @echo ' stubdom - build and install the stubdomain images' @echo ' docs - build and install user documentation' - @echo ' dev-docs - build developer-only documentation' @echo '' @echo 'Cleaning targets:' @echo ' clean - clean the Xen, tools and docs (but not guest kernel trees)'
Quoted 4 lines · Olaf Hering
The actual target was removed with commit
5806093a20e20209d4b88ab866ae1e6017c95de7("docs: drop doxygen stuff")Signed-off-by Olaf Hering <[email protected]>
Acked + applied.