With that we lose the ability to rebuild the manual from the doc/sphinx
directory if the sources were modified, just like any other dependency
on $(top_builddir) sources. This one is linked once and for all, but
doesn't fit the link_srcdir target.