chiark / gitweb /
runlisp.1.in: Fix a small formatting blunder.