Unreviewed GTK/CMake build fix: use the correct location for docs-build.stamp