chiark / gitweb /
runlisp.1.in: Fix a small formatting blunder.
authorMark Wooding <mdw@distorted.org.uk>
Mon, 4 Mar 2024 16:31:02 +0000 (16:31 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 4 Mar 2024 16:31:02 +0000 (16:31 +0000)
runlisp.1.in

index d2d6dec73a448ebddeff7c4b41405585846418e0..67baa5ad826d9029fb61421e0f4d3b17261a4dbe 100644 (file)
@@ -335,7 +335,7 @@ and
 .RB ` \-p '
 options may only be given on the command-line itself,
 not following a
-.RB `RUNLISP: '
+.RB ` @RUNLISP: '
 marker in a script.
 These options may be given multiple times:
 they will be processed in the order given.