From d1491d87cea5ac64cef6705cd7d2bb3db11b7d31 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Tue, 3 Dec 2019 14:47:29 +0100
Subject: [PATCH] [doc] minor fixes/updates to devman
---
doc/developer/.gitignore | 13 -------------
doc/developer/developer.tex | 3 ++-
doc/developer/macros.sty | 2 +-
3 files changed, 3 insertions(+), 15 deletions(-)
diff --git a/doc/developer/.gitignore b/doc/developer/.gitignore
index d6c7b5439d5..467e4f7ba1e 100644
--- a/doc/developer/.gitignore
+++ b/doc/developer/.gitignore
@@ -1,35 +1,22 @@
-/developer-web.pdf
/developer.pdf
/frama-c-book.cls
/frama-c-cover.pdf
/frama-c-left.pdf
/frama-c-right.pdf
/hello_world/
-/main.tex
/tutorial/viewcfg/generated/
/tutorial/hello/generated/
/examples/generated/
-advance.tex
-architecture.tex
-changes.tex
-developer-web.pdf
developer.pdf
frama-c-book.cls
frama-c-cover.pdf
frama-c-left.pdf
frama-c-right.pdf
hello_world/
-introduction.tex
*.idx
*.out
developer.fdb_latexmk
developer.idxs
-main.tex
mecanism.eps
pp
pp.ml
-refman.tex
-tutorial.tex
-tutorial2.tex
-tutorial2/viewcfg/generated/
-tutorial2/hello/generated/
diff --git a/doc/developer/developer.tex b/doc/developer/developer.tex
index 2484fcdfb4e..3a286b2e557 100644
--- a/doc/developer/developer.tex
+++ b/doc/developer/developer.tex
@@ -92,7 +92,8 @@ helping developers integrate new plug-ins inside this platform. It started as
a deliverable of the task 2.3 of the ANR RNTL project
CAT\footnote{\url{http://www.rntl.org/projet/resume2005/cat.htm}}.
-The content of this document corresponds to the version \framacversion (\today)
+The content of this document corresponds to the version \framacversion,
+released on \today,
of \framac. However the development of \framac is still ongoing: features
described here may still evolve in the future.
diff --git a/doc/developer/macros.sty b/doc/developer/macros.sty
index 6a900ed9b7e..5ffdaac2edd 100644
--- a/doc/developer/macros.sty
+++ b/doc/developer/macros.sty
@@ -5,7 +5,7 @@
% Substitutions
\newcommand{\framacversion}%
- {\input{../../VERSION} (\input{../../VERSION_CODENAME}\unskip)}
+ {\input{../../VERSION}(\input{../../VERSION_CODENAME}\unskip)}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
--
GitLab