[doc] minor fixes/updates to devman

doc/developer/.gitignore

-/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/

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.
 

doc/developer/macros.sty

@@ -5,7 +5,7 @@
 % Substitutions
 
 \newcommand{\framacversion}%
-           {\input{../../VERSION} (\input{../../VERSION_CODENAME}\unskip)}
+           {\input{../../VERSION}(\input{../../VERSION_CODENAME}\unskip)}
 
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%