docs/makefile
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
Wed, 05 Dec 2012 11:30:24 +0100
changeset 632 cb0807646f5a
parent 558 11c5f734d64e
child 765 015cd9d3bfdd
permissions -rw-r--r--
fold: work around potential bug with filtering Folded revision may be becomes filtered leading to a crash of the replaced rset.


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