chiark / gitweb /
Include the correct directory for out-of-source builds.