docs/makefile
author Pierre-Yves David <pierre-yves.david@fb.com>
Thu, 27 Feb 2014 19:58:08 -0800
changeset 817 c2bf0eb727f1
parent 765 015cd9d3bfdd
child 2824 d0e3a8e0b62c
permissions -rw-r--r--
exchange: only push the set of marker relevant to want we push We now compute all markers relevant to pushed set. And just send just those one. So you are no longer pushing markers that point to changeset your are not pushing. See the in line comment for details about what "relevant" is. Multiple nice output have been added in the process.


all: tutorials/tutorial.rst static/logo-evolve.ico
	sphinx-build . ../html/

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

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