[doc] build of the French user-manual

doc/slicing/user-manual-fr/.gitignore

+/anr-logo.png
+/eu-flag.jpg
+/frama-c-book.cls
+/main.pdf
+/fc-macros.tex
+/logos
+/frama-c-guy.png
+/main.aux
+/main.bbl
+/main.blg
+/main.log
+/main.out
+/main.toc

doc/slicing/user-manual-fr/Makefile

+##########################################################################
+#                                                                        #
+#  This file is part of Frama-C.                                         #
+#                                                                        #
+#  Copyright (C) 2007-2023                                               #
+#    CEA (Commissariat à l'énergie atomique et aux énergies              #
+#         alternatives)                                                  #
+#                                                                        #
+#  you can redistribute it and/or modify it under the terms of the GNU   #
+#  Lesser General Public License as published by the Free Software       #
+#  Foundation, version 2.1.                                              #
+#                                                                        #
+#  It is distributed in the hope that it will be useful,                 #
+#  but WITHOUT ANY WARRANTY; without even the implied warranty of        #
+#  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the         #
+#  GNU Lesser General Public License for more details.                   #
+#                                                                        #
+#  See the GNU Lesser General Public License version 2.1                 #
+#  for more details (enclosed in the file licenses/LGPLv2.1).            #
+#                                                                        #
+##########################################################################
+
+.PHONY: all clean
+
+all: main.pdf
+
+GENERATED=
+GENERATED+=frama-c-book.cls frama-c-cover.pdf frama-c-left.pdf frama-c-right.pdf
+FRAMAC_DOC_ROOT_DIR=../..
+include $(FRAMAC_DOC_ROOT_DIR)/MakeLaTeXModern
+
+DWNLDDIR=$(FRAMAC_DOC_ROOT_DIR)/manuals
+DOCNAME=slicing-user-manual-fr.pdf
+
+main.pdf: $(FRAMAC_MODERN) \
+	main.tex slicing.tex
+
+###############################################################################
+
+%.pdf: %.tex
+	pdflatex $*
+	pdflatex $*
+
+install: main.pdf
+	@echo "copying main.pdf    in $(DWNLDDIR)/$(DOCNAME)"
+	@rm -f "$(DWNLDDIR)/$(DOCNAME)"
+	@cp main.pdf "$(DWNLDDIR)/$(DOCNAME)"
+
+clean:
+	rm -rf *~ *.aux *.log *.nav *.out *.snm *.toc *.lof *.pp *.bnf \
+		*.haux  *.hbbl *.htoc \
+                *.cb *.cb2 *.cm? *.bbl *.blg *.idx *.ind *.ilg \
+		$(GENERATED)
+
+###############################################################################

doc/slicing/user-manual-fr/main.tex

+\documentclass[lang=french]{frama-c-book}
+
+%\usepackage[french]{babel}
+
+%==============================================================================
+
+\title{Greffon Slicing}
+\subtitle{Manuel utilisateur du greffon de Slicing}
+\author{Patrick Baudin}
+
+
+\cclicence{by-sa}
+\copyrightstarts{2006}
+
+\begin{document}
+\sloppy
+\emergencystretch 3em
+
+\maketitle
+
+\input{slicing.tex}
+
+\end{document}