chiark / gitweb /
Fix a formatting problem in --build-products-dir= doc.