diff options
Diffstat (limited to 'Replicant_contributors_meeting_27_28_July_2019_Paris_France/bootloaders/Makefile')
-rw-r--r-- | Replicant_contributors_meeting_27_28_July_2019_Paris_France/bootloaders/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Replicant_contributors_meeting_27_28_July_2019_Paris_France/bootloaders/Makefile b/Replicant_contributors_meeting_27_28_July_2019_Paris_France/bootloaders/Makefile index 9c7c30a..78a829a 100644 --- a/Replicant_contributors_meeting_27_28_July_2019_Paris_France/bootloaders/Makefile +++ b/Replicant_contributors_meeting_27_28_July_2019_Paris_France/bootloaders/Makefile @@ -7,10 +7,13 @@ all: test output: mkdir output -$(TITLE)_en.pdf: output +$(TITLE)_en.pdf: output/boot_midas.png output pdflatex $(TEXFLAGS) '\providecommand\locale{en}\input{$(TITLE).tex}' pdflatex $(TEXFLAGS) '\providecommand\locale{en}\input{$(TITLE).tex}' +output/boot_midas.png: dot/boot_midas.dot output + dot -T png $< > $@ + test: $(TITLE)_en.pdf xdg-open output/$(TITLE).pdf |