diff options
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/docs/Makefile b/docs/Makefile index 03f141a3f7..620a296c0d 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -26,10 +26,6 @@ all: build .PHONY: build 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 - rm -f *.aux *.dvi *.bbl *.blg *.glo *.idx *.ilg *.log *.ind *.toc .PHONY: dev-docs dev-docs: python-dev-docs @@ -76,7 +72,6 @@ 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 @@ -93,8 +88,6 @@ install: all rm -rf $(DESTDIR)$(DOCDIR) $(INSTALL_DIR) $(DESTDIR)$(DOCDIR) - $(MAKE) -C xen-api install - $(INSTALL_DIR) $(DESTDIR)$(MANDIR) cp -dR man1 $(DESTDIR)$(MANDIR) cp -dR man5 $(DESTDIR)$(MANDIR) |