Skip to contentSkip to conversation

Remove obsolete dev-docs target from toplevel Makefile

PATCH In review Olaf Hering 2 participants 2 messages Oct 10, 2014 – Oct 14, 2014 Kbuild

lore
Share & tools
lore
#0 lore raw

PATCH 1/1 Remove obsolete dev-docs target from toplevel Makefile

The actual target was removed with commit 5806093a20e20209d4b88ab866ae1e6017c95de7 ("docs: drop doxygen stuff")

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
index f540e07..6e9a4c7 100644
@@ -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)'