Summary of changes: c6d4c41... remove unnecessary symlink to mandir (*) d641705... Merge branch 'f19' into f18 (*) This commit already existed in another branch; no separate mail sent