docs/makefile
author Faheem Mitha <faheem@faheem.info>
Mon, 02 Dec 2013 23:31:45 +0530
changeset 755 0021301f7fde
parent 558 11c5f734d64e
child 765 015cd9d3bfdd
permissions -rw-r--r--
debian: add source/format file


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