1.1 --- a/docs/Makefile	Sat Sep 17 10:52:31 2005 +0100
     1.2 +++ b/docs/Makefile	Sat Sep 17 13:59:35 2005 +0100
     1.3 @@ -36,11 +36,12 @@ html:
     1.4  	$(MAKE) $(DOC_HTML); fi
     1.5  
     1.6  python-dev-docs:
     1.7 -	mkdir -p api/tools/python
     1.8 +	@mkdir -v -p api/tools/python
     1.9  	@if which $(DOXYGEN) 1>/dev/null 2>/dev/null; then         \
    1.10          echo "Running doxygen to generate Python tools APIs ... "; \
    1.11  	$(DOXYGEN) Doxyfile;                                       \
    1.12 -	$(MAKE) -C api/tools/python/latex ; fi
    1.13 +	$(MAKE) -C api/tools/python/latex ; else                   \
    1.14 +        echo "Doxygen not installed; skipping python-dev-docs."; fi
    1.15  
    1.16  clean:
    1.17  	rm -rf .word_count *.aux *.dvi *.bbl *.blg *.glo *.idx *~