]> mj.ucw.cz Git - paperjam.git/commitdiff
Man page: Fixed a typo
authorMartin Mares <mj@ucw.cz>
Mon, 1 Jun 2020 09:47:44 +0000 (11:47 +0200)
committerMartin Mares <mj@ucw.cz>
Mon, 1 Jun 2020 09:47:44 +0000 (11:47 +0200)
paperjam.1.txt

index 471e30ef7fff93e1733127be178bb6438c2e5aff..f9fd93e96d4f20318e334f0a7530d07ce94f6121 100644 (file)
@@ -85,7 +85,7 @@ described by a 'pipeline' like:
 The pipeline is enclosed in curly braces. It consists of one or more 'stages'
 separated by commas. Each stage has one or more 'page selectors' (page numbers
 or ranges) and an optional list of commands to apply on these pages (separated
-from the selectors by a semicolon).
+from the selectors by a colon).
 
 When a range is written backwards (the first page number is greater than the
 second one), the pages are processed in reverse order.