aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorOlaf Hering <olaf@aepfle.de>2014-10-10 11:53:29 +0200
committerIan Campbell <ian.campbell@citrix.com>2014-10-14 10:26:33 +0100
commitf16ed0eaaf84cfbaf625b07fb515e6d1303233b0 (patch)
tree873ad69c439f05f3ad0c392b5500279ca9260fa5
parent6feb6b1282b0dc1515fffcc26308111300a37615 (diff)
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 <olaf@aepfle.de> Cc: Ian Jackson <ian.jackson@eu.citrix.com> Cc: Stefano Stabellini <stefano.stabellini@eu.citrix.com> Cc: Ian Campbell <ian.campbell@citrix.com> Cc: Wei Liu <wei.liu2@citrix.com> Acked-by: Ian Campbell <ian.campbell@citrix.com>
-rw-r--r--Makefile5
1 files changed, 0 insertions, 5 deletions
diff --git a/Makefile b/Makefile
index f540e07833..6e9a4c7860 100644
--- a/Makefile
+++ b/Makefile
@@ -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)'