On 02/13/2018 01:38 PM, Henning Schild wrote: > The first one actually fixes a regression where debian packages can not > be generated anymore. And the remaining two fix minor issues. > > Henning Schild (3): > debian: drop prebuild docs from packages > debian: add mssing build dependency > debian: increase debian compat level > > debian/compat | 2 +- > debian/control | 25 ++++--------------------- > debian/xenomai-doc.install | 1 - > debian/xenomai-runtime.install | 1 - > 4 files changed, 5 insertions(+), 24 deletions(-) > delete mode 100644 debian/xenomai-doc.install >
Merged, thanks. -- Philippe. _______________________________________________ Xenomai mailing list Xenomai@xenomai.org https://xenomai.org/mailman/listinfo/xenomai