docs/makefile
author Nathan Goldbaum <ngoldbau@ucsc.edu>
Tue, 28 Oct 2014 18:06:28 -0700
changeset 1143 160fd06312fc
parent 765 015cd9d3bfdd
child 2824 d0e3a8e0b62c
permissions -rw-r--r--
uncommit: abort when rev specifies the current changeset The uncommit command now fails when the rev argument indicates the current changeset. Previously this aborted in the changeset obsolescence machinery when the current commit tries to obsolete itself. Using the rev argument like this indicates a misunderstanding, so printing an uncommit-specific error should make it easier to understand what went wrong.


all: tutorials/tutorial.rst static/logo-evolve.ico
	sphinx-build . ../html/

tutorials/tutorial.rst: tutorials/tutorial.t
	python test2rst.py tutorials/

static/logo-evolve.ico: static/logo-evolve.svg
	convert -resize 36x36 static/logo-evolve.svg static/logo-evolve.ico