[Xen-changelog] Added dev-docs target, which passes through to the docs Makefile.

[Xen patchbot -unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User ewan@xxxxxxxxxxxxx
# Node ID bf58d21a1e3a6be44e16ed70769437ceae08ebc5
# Parent  5c49ed1145ccd3ec28f51a5f0f4cb33736852a63
Added dev-docs target, which passes through to the docs Makefile.

diff -r 5c49ed1145cc -r bf58d21a1e3a Makefile
--- a/Makefile  Fri Sep  9 23:11:18 2005
+++ b/Makefile  Sun Sep 11 20:10:38 2005
@@ -35,8 +35,8 @@
 export pae=y
 endif
 
-.PHONY:        all dist install xen kernels tools docs world clean mkpatches 
mrproper
-.PHONY:        kbuild kdelete kclean
+.PHONY:        all dist install xen kernels tools dev-docs docs world clean
+.PHONY:        mkpatches mrproper kbuild kdelete kclean
 
 # build and install everything into the standard system directories
 install: install-xen install-kernels install-tools install-docs
@@ -65,6 +65,9 @@
 
 docs:
        sh ./docs/check_pkgs && $(MAKE) -C docs install || true
+
+dev-docs:
+       $(MAKE) -C docs dev-docs
 
 # Build all the various kernels and modules
 kbuild: kernels

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