From ca6144c65ffd12522cfe396b4af57aa0e8833235 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?St=C3=A9phane=20Adjemia=20=28Scylla=29?= <stepan@dynare.org>
Date: Wed, 31 Oct 2018 09:27:14 +0100
Subject: [PATCH] Use Makefile instead of shell script.

---
 assets/images/logo/Makefile    | 25 +++++++++++++++++++++++++
 assets/images/logo/makelogo.sh |  5 -----
 2 files changed, 25 insertions(+), 5 deletions(-)
 create mode 100644 assets/images/logo/Makefile
 delete mode 100755 assets/images/logo/makelogo.sh

diff --git a/assets/images/logo/Makefile b/assets/images/logo/Makefile
new file mode 100644
index 0000000..53d8fe1
--- /dev/null
+++ b/assets/images/logo/Makefile
@@ -0,0 +1,25 @@
+.PHONY: all clean
+
+all: dlogo.svg dlogo_hover.svg dfavicon.svg dbkgd.png dbkgd_ws.png
+	make clean
+
+clean:
+	rm -rf *.pdf *.log *.aux auto
+
+clean-all: clean
+	rm -rf *.svg *.png
+
+dlogo.svg: dlogo.tex
+	pdflatex -shell-escape dlogo.tex
+
+dlogo_hover.svg: dlogo_hover.tex
+	pdflatex -shell-escape dlogo_hover.tex
+
+dfavicon.svg: dfavicon.tex
+	pdflatex -shell-escape dfavicon.tex
+
+dbkgd.png: dbkgd.tex
+	pdflatex -shell-escape dbkgd.tex
+
+dbkgd_ws.png: dbkgd_ws.tex dbkgd-header.tex dbkgd-curves.tex
+	pdflatex -shell-escape dbkgd_ws.tex
diff --git a/assets/images/logo/makelogo.sh b/assets/images/logo/makelogo.sh
deleted file mode 100755
index 71cda09..0000000
--- a/assets/images/logo/makelogo.sh
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/sh
-pdflatex -shell-escape dlogo.tex
-pdflatex -shell-escape dlogo_hover.tex
-pdflatex -shell-escape dfavicon.tex
-pdflatex -shell-escape dbkgd.tex
-- 
GitLab