Merge branch 'julien/doc/makefiles' into 'stable/phosphorus'

doc/developer/Makefile

doc/developer/Makefile.config

doc/developer/advance.tex

doc/developer/architecture.ml

doc/developer/architecture.mps

doc/developer/architecture.tex

doc/developer/changes.tex

doc/developer/developer.tex

doc/developer/integrated_plugin.ml

doc/developer/integrated_plugin.mps

doc/developer/macros.sty

doc/developer/makefiles.ml

doc/developer/makefiles.mps

doc/developer/plugin_mpost.ml

doc/developer/plugin_mpost.mps

doc/developer/refman.tex

doc/developer/tutorial.tex