chiark / gitweb /
Slightly modify the "publish" command description