Update doc. This time also the included files.