machinekit/machinekit — pull request #129 by kinsamanka (2014-04-15 04:23:08+00:00)
Title: Packaging fixes

Tested xenomai builds on RPi; Other flavors needs testing (rt-preempt is WIP).

Added option to disable pdf building to hasten testing on arm platforms.