From 9e78a73d0fd90f9a0dff0dfd531f9aec9d84c088 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Mon, 30 Nov 2020 10:43:22 +0100
Subject: [PATCH] [doc] Create tex file with CEA affiliation for the
 documentation

---
 doc/MakeLaTeXModern         | 8 +++++++-
 doc/frama-c-affiliation.tex | 2 ++
 2 files changed, 9 insertions(+), 1 deletion(-)
 create mode 100644 doc/frama-c-affiliation.tex

diff --git a/doc/MakeLaTeXModern b/doc/MakeLaTeXModern
index 812842bc0f9..71107267b78 100644
--- a/doc/MakeLaTeXModern
+++ b/doc/MakeLaTeXModern
@@ -1,5 +1,5 @@
 FRAMAC_DOC_ROOT_DIR?=..
-FRAMAC_MODERN=frama-c-book.cls frama-c-cover.pdf frama-c-left.pdf frama-c-right.pdf
+FRAMAC_MODERN=frama-c-book.cls frama-c-cover.pdf frama-c-left.pdf frama-c-right.pdf frama-c-affiliation.tex
 
 frama-c-book.cls: $(FRAMAC_DOC_ROOT_DIR)/frama-c-book.cls
 	@rm -f $@
@@ -24,3 +24,9 @@ frama-c-left.pdf: $(FRAMAC_DOC_ROOT_DIR)/frama-c-left.pdf
 	@cp $< .
 	@chmod a-w $@
 	@echo "import $<"
+
+frama-c-affiliation.tex: $(FRAMAC_DOC_ROOT_DIR)/frama-c-affiliation.tex
+	@rm -f $@
+	@cp $< .
+	@chmod a-w $@
+	@echo "import $<"
diff --git a/doc/frama-c-affiliation.tex b/doc/frama-c-affiliation.tex
new file mode 100644
index 00000000000..5edc07ee737
--- /dev/null
+++ b/doc/frama-c-affiliation.tex
@@ -0,0 +1,2 @@
+\newcommand{\fcaffiliationen}{CEA-List, Université Paris-Saclay\\ Software Safety and Security Lab\xspace}
+\newcommand{\fcaffiliationfr}{CEA-List, Université Paris-Saclay\\ Laboratoire de Sûreté et Sécurité des Logiciels\xspace}
-- 
GitLab