diff --git a/doc/developer/.gitignore b/doc/developer/.gitignore
index d6c7b5439d56b6d0d76665a796e27d117b1cf46b..467e4f7ba1e8c3035d4eb5cb489cf74b3cacbbae 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 2484fcdfb4e15a7ab9fdfab1e24cb13ab5edb8e7..3a286b2e55755748867b94b4666871a76261ee27 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 6a900ed9b7e46e3fa59deceef31ceba2c7a31d3b..5ffdaac2edd1bb37828ab23e18c696dbab0fef83 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)}
 
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%