Update devel doc