tree d0839f0febf2e401268b3d65bfc0d59f9a355546
parent fa995ac3d3231f4d83b08bea02f38f3edc2c0569
author Davide Pesavento <davidepesa@gmail.com> 1555035024 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1555275019 -0400

docs+ndnsec: improve description and parsing of command options, rewrite man pages

Replace custom redmine_issue extension with sphinx.ext.extlinks

Refs: #4907
Change-Id: Ib0cb94156ae4fc80cdcaf4c70d7c8d55c16fcbc3