From 97a4b039e652f39e8cc13772e153a3c9890e690c Mon Sep 17 00:00:00 2001
From: DavidCok <cok@frontiernet.net>
Date: Mon, 29 Jul 2019 12:56:56 +0200
Subject: [PATCH] Adding support file

---
 doc/support/MakeLaTeXModern | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 doc/support/MakeLaTeXModern

diff --git a/doc/support/MakeLaTeXModern b/doc/support/MakeLaTeXModern
new file mode 100644
index 00000000..d1b204a1
--- /dev/null
+++ b/doc/support/MakeLaTeXModern
@@ -0,0 +1,25 @@
+FRAMAC_MODERN=frama-c-book.cls frama-c-cover.pdf frama-c-left.pdf frama-c-right.pdf
+
+frama-c-book.cls: ../frama-c-book.cls
+	@rm -f $@
+	@cp $< .
+	@chmod a-w $@
+	@echo "import $<"
+
+frama-c-cover.pdf: ../frama-c-cover.pdf
+	@rm -f $@
+	@cp $< .
+	@chmod a-w $@
+	@echo "import $<"
+
+frama-c-right.pdf: ../frama-c-right.pdf
+	@rm -f $@
+	@cp $< .
+	@chmod a-w $@
+	@echo "import $<"
+
+frama-c-left.pdf: ../frama-c-left.pdf
+	@rm -f $@
+	@cp $< .
+	@chmod a-w $@
+	@echo "import $<"
-- 
GitLab