Meh, sorry, was wrong about fix-manpages.sh. After staring some time, I finally did see the difference :).
Meh, sorry, was wrong about fix-manpages.sh. After staring some time, I finally did see the difference :).