diff options
author | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2019-07-25 14:27:32 +0200 |
---|---|---|
committer | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2019-07-25 14:27:56 +0200 |
commit | 43a332df43d553661daf915930e09ddb283c16b0 (patch) | |
tree | 700f98d94b4f60fa6bbca32b9e7a191e8d9ddcf1 | |
parent | 6276ce90fbb9ccd0eff7a5c6d706ef6810588932 (diff) | |
download | presentations-43a332df43d553661daf915930e09ddb283c16b0.tar.gz presentations-43a332df43d553661daf915930e09ddb283c16b0.tar.bz2 presentations-43a332df43d553661daf915930e09ddb283c16b0.zip |
July 2019 Replicant meeting: bootloaders: Makefile: pull external resources automatically
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
-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 251c4ac..dfc4a73 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,7 +7,10 @@ all: test output: mkdir output -$(TITLE)_en.pdf: output/boot_midas.png output/init.png output +../../external_resources/replicant_website: + git submodule update --init --recursive + +$(TITLE)_en.pdf: output/boot_midas.png output/init.png output ../../external_resources/replicant_website pdflatex $(TEXFLAGS) '\providecommand\locale{en}\input{$(TITLE).tex}' pdflatex $(TEXFLAGS) '\providecommand\locale{en}\input{$(TITLE).tex}' |