Update devel doc
Update devel doc