diff options
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | .hgignore | 1 | ||||
| -rw-r--r-- | docs/Makefile | 7 |
3 files changed, 8 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 380f4d84c2..f6edc43f32 100644 --- a/.gitignore +++ b/.gitignore @@ -374,3 +374,4 @@ tools/xenstore/xenstore-watch docs/txt/misc/*.txt docs/txt/man/*.txt +docs/figs/*.png @@ -45,6 +45,7 @@ ^docs/interface/interface\.css$ ^docs/interface/interface\.html$ ^docs/interface/labels\.pl$ +^docs/figs/.*\.png ^docs/man1/ ^docs/man5/ ^docs/pdf/.*$ diff --git a/docs/Makefile b/docs/Makefile index 007a5a9c00..8806990c96 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -25,7 +25,7 @@ DOC_TXT := $(patsubst %.txt,txt/%.txt,$(wildcard misc/*.txt)) \ all: build .PHONY: build -build: html txt man-pages +build: html txt man-pages figs @if which $(DOT) 1>/dev/null 2>/dev/null ; then \ $(MAKE) -C xen-api build ; else \ echo "Graphviz (dot) not installed; skipping xen-api." ; fi @@ -40,6 +40,10 @@ html: $(DOC_HTML) html/index.html .PHONY: txt txt: $(DOC_TXT) +.PHONY: figs +figs: + $(MAKE) -C figs + .PHONY: python-dev-docs python-dev-docs: @mkdir -v -p api/tools/python @@ -68,6 +72,7 @@ man5/%.5: man/%.pod.5 Makefile .PHONY: clean clean: $(MAKE) -C xen-api clean + $(MAKE) -C figs clean rm -rf .word_count *.aux *.dvi *.bbl *.blg *.glo *.idx *~ rm -rf *.ilg *.log *.ind *.toc *.bak core rm -rf html txt |