Fabio Fantoni
2012-Mar-02 10:08 UTC
[PATCH v2] tools/examples: Move examples to $(DOC_DIR)/examples
Ian Jackson
2012-Mar-14 12:19 UTC
Re: [PATCH v2] tools/examples: Move examples to $(DOC_DIR)/examples
Fabio Fantoni writes ("[Xen-devel] [PATCH v2] tools/examples: Move examples
to $(DOC_DIR)/examples"):> tools/examples: Move examples to $(DOC_DIR)/examples
If I do a "make -j4" this leaves the docs in dist/install/examples/
which is not right. I think you need to investigate why and how
DOC_DIR is (supposed to be) set.
Thanks,
Ian.