view docs/makefile @ 5581:36ccafa69095

discovery: list the new heads like core does when failing a multi-head push

The message was, and still is slightly different from core (which mentions
'remote' heads).  But it's probably useful to have slightly different messages
so that we can easily determine the source.

SPHINXBUILD ?= sphinx-build

.PHONY: all
all: tutorials/tutorial.rst tutorials/topic-tutorial.rst static/logo-evolve.ico
	$(SPHINXBUILD) . ../html/

tutorials/tutorial.rst: tutorials/tutorial.t test2rst.py
	python test2rst.py tutorials/

tutorials/topic-tutorial.rst: tutorials/topic-tutorial.t test2rst.py
	python test2rst.py tutorials/

static/logo-evolve.ico: static/logo-evolve.svg
	convert -resize 36x36 $< $@

.PHONY: clean
clean:
	rm -rf ../html
	rm -f static/logo-evolve.ico
	rm -f tutorials/tutorial.rst
	rm -f tutorials/topic-tutorial.rst