chiark / gitweb /
Create directory .git/dgit when needed during build. Closes: #721428.