# HG changeset patch # User Pierre-Yves David # Date 1389331320 28800 # Node ID 015cd9d3bfdd3a5f787e6d05ac0856ddd13aa889 # Parent 4a74288c671c575db0a2dd723cbc119485efe8cc doc: smarter make file We regenerate the tutorials when needed only diff -r 4a74288c671c -r 015cd9d3bfdd docs/makefile --- a/docs/makefile Thu Jan 09 21:38:56 2014 -0800 +++ b/docs/makefile Thu Jan 09 21:22:00 2014 -0800 @@ -1,8 +1,8 @@ -all: tutorial static/logo-evolve.ico +all: tutorials/tutorial.rst static/logo-evolve.ico sphinx-build . ../html/ -tutorial: +tutorials/tutorial.rst: tutorials/tutorial.t python test2rst.py tutorials/ static/logo-evolve.ico: static/logo-evolve.svg