diff --git a/doc/MakeLaTeXModern b/doc/MakeLaTeXModern index 812842bc0f9a3ba2a7b32639fa05135c3bbb6148..71107267b78246501afda730da7418313338c647 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 0000000000000000000000000000000000000000..5edc07ee737f93b44d0d67a832cbbd818a8f5685 --- /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}