Hi, I'm happy to announce that I've just released ptxdist-2016.05.1 and ptxdist-2016.06.1. Both are just small bugfix releases. ptxdist-2016.05.1 fixes the problem with incorrectly stripped kernel modules. With ptxdist-2016.06.1 'make install' work again, even if sphinx-build is not found. Enjoy, Michael Olbrich ptxdist-2016.05.1: Michael Olbrich (1): ptxd_make_xpkg_pkg: fix strip detection. ----- ptxdist-2016.06.1: Michael Olbrich (1): Makefile.in: fix installing if sphinx-build is not found -- Pengutronix e.K. | | Industrial Linux Solutions | http://www.pengutronix.de/ | Peiner Str. 6-8, 31137 Hildesheim, Germany | Phone: +49-5121-206917-0 | Amtsgericht Hildesheim, HRA 2686 | Fax: +49-5121-206917-5555 |