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 | 18 |
1 files changed, 18 insertions, 0 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 new file mode 100644 index 0000000..9c7c30a --- /dev/null +++ b/Replicant_contributors_meeting_27_28_July_2019_Paris_France/bootloaders/Makefile @@ -0,0 +1,18 @@ +TEXFLAGS ?= -halt-on-error -output-format pdf -output-directory output +TITLE = Replicant_and_bootloaders + +.PHONY: all clean test $(TITLE)_en.pdf medias +all: test + +output: + mkdir output + +$(TITLE)_en.pdf: output + pdflatex $(TEXFLAGS) '\providecommand\locale{en}\input{$(TITLE).tex}' + pdflatex $(TEXFLAGS) '\providecommand\locale{en}\input{$(TITLE).tex}' + +test: $(TITLE)_en.pdf + xdg-open output/$(TITLE).pdf + +clean: + rm -rf output |