[Xen-changelog] Issue warning if doxygen is not installed.

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

# HG changeset patch
# User emellor@ewan
# Node ID 567debb22ac07d8ebc3974e59d3efee3201d7a4e
# Parent  993f52cdb4e48715c3e722a90045a102158e0131
Issue warning if doxygen is not installed.

Signed-off-by: Ewan Mellor<ewan@xxxxxxxxxxxxx>

diff -r 993f52cdb4e4 -r 567debb22ac0 docs/Makefile
--- a/docs/Makefile     Sat Sep 17 09:52:31 2005
+++ b/docs/Makefile     Sat Sep 17 12:59:35 2005
@@ -36,11 +36,12 @@
        $(MAKE) $(DOC_HTML); fi
 
 python-dev-docs:
-       mkdir -p api/tools/python
+       @mkdir -v -p api/tools/python
        @if which $(DOXYGEN) 1>/dev/null 2>/dev/null; then         \
         echo "Running doxygen to generate Python tools APIs ... "; \
        $(DOXYGEN) Doxyfile;                                       \
-       $(MAKE) -C api/tools/python/latex ; fi
+       $(MAKE) -C api/tools/python/latex ; else                   \
+        echo "Doxygen not installed; skipping python-dev-docs."; fi
 
 clean:
        rm -rf .word_count *.aux *.dvi *.bbl *.blg *.glo *.idx *~ 

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