[Xen-changelog] [xen master] Remove obsolete dev-docs target from toplevel Makefile

[patchbot@xxxxxxx]

commit f16ed0eaaf84cfbaf625b07fb515e6d1303233b0
Author:     Olaf Hering <olaf@xxxxxxxxx>
AuthorDate: Fri Oct 10 11:53:29 2014 +0200
Commit:     Ian Campbell <ian.campbell@xxxxxxxxxx>
CommitDate: Tue Oct 14 10:26:33 2014 +0100

    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@xxxxxxxxx>
    Cc: Ian Jackson <ian.jackson@xxxxxxxxxxxxx>
    Cc: Stefano Stabellini <stefano.stabellini@xxxxxxxxxxxxx>
    Cc: Ian Campbell <ian.campbell@xxxxxxxxxx>
    Cc: Wei Liu <wei.liu2@xxxxxxxxxx>
    Acked-by: Ian Campbell <ian.campbell@xxxxxxxxxx>
---
 Makefile |    5 -----
 1 files changed, 0 insertions(+), 5 deletions(-)

diff --git a/Makefile b/Makefile
index f540e07..6e9a4c7 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)'
--
generated by git-patchbot for /home/xen/git/xen.git#master

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog