Diffusion akantu (bugfixes/41-group-not-properly-updated-when-cohesive-elements-are-inserted) Browse

rAKA/doc/manual/Makefile
e9572b464decbugfixes/41-group-not…

Makefile
View Options

			NAME = manual
			FILE = manual.tex
			RM = /bin/rm -f
			all: $(NAME) clean
			$(NAME): $(FILE)
			-$(RM) $(NAME).pdf
			rubber -d $^
			clean:
			rubber --clean $(FILE)
			-$(RM) *~