chiark / gitweb /
build-sys: add 'make doc-sync' target