changeset 765:015cd9d3bfdd stable

doc: smarter make file We regenerate the tutorials when needed only
author Pierre-Yves David <pierre-yves.david@fb.com>
date Thu, 09 Jan 2014 21:22:00 -0800
parents 4a74288c671c
children 32936a9f4389
files docs/makefile
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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