docs/makefile
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
Sun, 02 Dec 2012 16:21:19 +0100
changeset 624 ce46d1624d4a
parent 558 11c5f734d64e
child 765 015cd9d3bfdd
permissions -rw-r--r--
more versatile test. push can fails on any divergent changeset I do not care for now.


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

tutorial:
	python test2rst.py tutorials/

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