/**
 * \page step3page Compilation
 *
 * On linux, just type the following command:
 * <div id="code">
 * $ make
 * </div>
 *
 * If you want to build this documentation, type this command:
 * <div id="code">
 * $ make doc
 * </div>
 *
 * Back to \ref step2page step
 *
 */