Update dev-man.md