diff -r c6236b19b10c -r 41688ca951e7 docs/makefile --- a/docs/makefile Tue Sep 11 15:57:54 2012 +0200 +++ b/docs/makefile Tue Sep 11 15:59:27 2012 +0200 @@ -1,6 +1,11 @@ -all: tutorial +all: tutorial static/logo-evolve.ico sphinx-build . ../html/ tutorial: python test2rst.py tutorials/ + +logo-evolve.ico: + convert -resize 36x36 static/logo-evolve.svg static/logo-evolve.ico + +