chiark / gitweb /
doc/tripe.8: Fix layout of synopsis section.