Skip to content
Snippets Groups Projects
Commit 1520a4b2 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[Doc] Fix target name in Eva manual makefile

parent 32dd5b49
No related branches found
No related tags found
No related merge requests found
all: main
all: main.pdf
.PHONY: main
.PHONY: main.pdf
include ../MakeLaTeXModern
......@@ -8,7 +8,7 @@ include ../MakeLaTeXModern
OPENSOURCE?=yes
export OPENSOURCE
main: ../../VERSION examples/**.c
main.pdf: ../../VERSION examples/**.c
$(MAKE) -C examples/parametrizing
$(MAKE) $(FRAMAC_MODERN)
latexmk -pdf main.tex
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment