Diffusion akantu (bugfixes/coverage-not-run-properly-anymore) Browse

rAKA/doc/manual/Makefile
4a7e8eab44eabugfixes/coverage-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) *~