pushing the last modifications over documentation also
Signed-off-by: Guillaume Anciaux <guillaume.anciaux@epfl.ch>