colobot/colobot — pull request #226 by pol51 (2013-06-22 16:32:08+00:00)
Title: fix build: fix man build target dependencies

this is a small changes to ensure the man_po4a build target is always executed before the man* ones (the build was often failling on my machine with 'make -j16')