tools/examples: Move examples to $(DOC_DIR)/examples

Signed-off-by: Fabio Fantoni <fabio.fantoni@xxxxxxxxxx>

diff --git a/tools/examples/Makefile b/tools/examples/Makefile
index 8cea724..185bef9 100644
--- a/tools/examples/Makefile
+++ b/tools/examples/Makefile
@@ -9,18 +9,18 @@ XENDOMAINS_SYSCONFIG = init.d/sysconfig.xendomains
 # Xen configuration dir and configs to go there.
 XEN_READMES = README
 XEN_READMES += README.incompatibilities
+XEN_EXAMPLES += xmexample1 
+XEN_EXAMPLES += xmexample2
+XEN_EXAMPLES += xmexample3
+XEN_EXAMPLES += xmexample.hvm
+XEN_EXAMPLES += xmexample.hvm-stubdom
+XEN_EXAMPLES += xmexample.pv-grub
+XEN_EXAMPLES += xmexample.nbd
+XEN_EXAMPLES += xmexample.vti
+XEN_EXAMPLES += xlexample.hvm
+XEN_EXAMPLES += xlexample.pvlinux
 XEN_CONFIGS = xend-config.sxp
 XEN_CONFIGS += xm-config.xml
-XEN_CONFIGS += xmexample1 
-XEN_CONFIGS += xmexample2
-XEN_CONFIGS += xmexample3
-XEN_CONFIGS += xmexample.hvm
-XEN_CONFIGS += xmexample.hvm-stubdom
-XEN_CONFIGS += xmexample.pv-grub
-XEN_CONFIGS += xmexample.nbd
-XEN_CONFIGS += xmexample.vti
-XEN_CONFIGS += xlexample.hvm
-XEN_CONFIGS += xlexample.pvlinux
 XEN_CONFIGS += xend-pci-quirks.sxp
 XEN_CONFIGS += xend-pci-permissive.sxp
 XEN_CONFIGS += xl.conf
@@ -33,7 +33,7 @@ all:
 build:
 
 .PHONY: install
-install: all install-readmes install-configs $(HOTPLUGS)
+install: all install-readmes install-examples install-configs $(HOTPLUGS)
 
 .PHONY: install-readmes
 install-readmes:
@@ -44,6 +44,17 @@ install-readmes:
 	    $(INSTALL_DATA) $$i $(DESTDIR)$(XEN_CONFIG_DIR); \
 	done
 
+.PHONY: install-examples
+install-examples:
+	[ -d $(DESTDIR)$(DOC_DIR) ] || \
+		$(INSTALL_DIR) $(DESTDIR)$(DOC_DIR)
+	[ -d $(DESTDIR)$(DOC_DIR)/examples ] || \
+		$(INSTALL_DIR) $(DESTDIR)$(DOC_DIR)/examples
+	set -e; for i in $(XEN_EXAMPLES); \
+	    do [ -e $(DESTDIR)$(DOC_DIR)/examples/$$i ] || \
+	    $(INSTALL_DATA) $$i $(DESTDIR)$(DOC_DIR)/examples; \
+	done
+
 .PHONY: install-configs
 install-configs: $(XEN_CONFIGS)
 	[ -d $(DESTDIR)$(XEN_CONFIG_DIR) ] || \