Hello, I tried to update our BSP from ptxdist 2013.01.0 to 2013.05.0 and libkmod failed to configure with the following error: checking for xsltproc... no configure: error: xsltproc command not found, try ./configure --disable-manpages When I add the "--disable-manpages" to the rule file everything works fine. Is that a known bug, or is there a fault in my configs / BSP ? (I used ptxdist migrate ...) Best regards, Matthias