This fixes a compilation problem on Debian Squeeze where cmake (2.8.2) seems to not work well with dependencies across different directories (/doc and /doc/xx).