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>

diff --git a/Makefile b/Makefile
index f540e078339ec4392d02207b7d9615f94af3056e..6e9a4c78606c872a1fa328f3a0aa6816105d4853 100644 (file)
--- 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)'