doc: fix generate-doc script after removal of docbook documentation
commitc3411937f5c5abddb2fffca2c79d0966c8395234
authorGilles Chanteperdrix <gilles.chanteperdrix@xenomai.org>
Thu, 7 Jul 2016 10:35:38 +0000 (7 12:35 +0200)
committerGilles Chanteperdrix <gilles.chanteperdrix@xenomai.org>
Thu, 7 Jul 2016 11:22:07 +0000 (7 13:22 +0200)
tree46ad50064a378e746c8119e552562534def65aec
parenta96c0bed5092638cf6a5e8e3e835434b91100473
doc: fix generate-doc script after removal of docbook documentation
scripts/maint/generate-doc