diff options
author | Ian Campbell <ian.campbell@citrix.com> | 2013-01-25 09:03:36 +0000 |
---|---|---|
committer | Ian Campbell <ian.campbell@citrix.com> | 2013-01-25 09:03:36 +0000 |
commit | 5806093a20e20209d4b88ab866ae1e6017c95de7 (patch) | |
tree | 4ecc0d893b015f18218b3a385c3444590286762c /docs/Makefile | |
parent | 48d3c84838c166de21d0ad60f069906f267b4b1b (diff) | |
download | xen-5806093a20e20209d4b88ab866ae1e6017c95de7.tar.gz xen-5806093a20e20209d4b88ab866ae1e6017c95de7.tar.bz2 xen-5806093a20e20209d4b88ab866ae1e6017c95de7.zip |
docs: drop doxygen stuff
In the 300+ page PDF this produces I couldn't see anything which
wasn't the autogenerated doxygen boilerplate stuff.
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Roger Pau Monné <roger.pau@citrix.com>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
Diffstat (limited to 'docs/Makefile')
-rw-r--r-- | docs/Makefile | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/docs/Makefile b/docs/Makefile index 620a296c0d..053d7af815 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -27,9 +27,6 @@ all: build .PHONY: build build: html txt man-pages figs -.PHONY: dev-docs -dev-docs: python-dev-docs - .PHONY: html html: $(DOC_HTML) html/index.html @@ -45,15 +42,6 @@ figs: set -x; $(MAKE) -C figs ; else \ echo "fig2dev (transfig) not installed; skipping figs."; fi -.PHONY: python-dev-docs -python-dev-docs: - @mkdir -v -p api/tools/python - @set -e ; 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 ; else \ - echo "Doxygen not installed; skipping python-dev-docs."; fi - .PHONY: man-pages man-pages: @if which $(POD2MAN) 1>/dev/null 2>/dev/null; then \ @@ -76,7 +64,6 @@ clean: rm -rf .word_count *.aux *.dvi *.bbl *.blg *.glo *.idx *~ rm -rf *.ilg *.log *.ind *.toc *.bak core rm -rf html txt - rm -rf api rm -rf man5 rm -rf man1 |