|   | 
      | 
  
  
      | 
      | 
  
 
     | 
    | 
  
  
     | 
    | 
  
  
    |   | 
      | 
  
  
    | 
         
xen-changelog
[Xen-changelog] Issue warning if doxygen is not installed.
 
# 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
 |   
 
| <Prev in Thread] | 
Current Thread | 
[Next in Thread> |  
- [Xen-changelog] Issue warning if doxygen is not installed.,
Xen patchbot -unstable <=
  
 |  
  
 | 
    | 
  
  
    |   | 
    |