Diffusion akantu (features/define_public_api_in_library) Browse

rAKA/doc/manual/Makefile
4a7e8eab44eafeatures/define_public_…

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) *~