Summary of changes: 71bfc94... Documentation in eigen2-devel is not generated correctly (# (*) f48c85d... (re)enable tests (*) (*) This commit already existed in another branch; no separate mail sent