nao_extras: changed doc branch to "devel" for indigo
Merge pull request #4620 from ahornung/patch-20

nao_extras: changed doc branch to "devel" for indigo