• Some hints to accelerate the compilation process of Coq with Emacs
• Compilation of the documentation