diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2018-09-03 13:14:06 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-09-03 13:14:06 +0200 |
commit | f727c2b8fe273a12d059826291523060dab4b512 (patch) | |
tree | c238d59ba404b9050cb11168d3b764a8a3acd36d | |
parent | aa4d6a3e68f8319e8a050715a88bf52252732f38 (diff) |
Update to match new pre-formatted fragment escape semantics in CLI
-rw-r--r-- | doc/manual.cli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual.cli b/doc/manual.cli index b57b7a2..2c9fdbb 100644 --- a/doc/manual.cli +++ b/doc/manual.cli @@ -318,7 +318,7 @@ so it is continued on the next line. \ \ -windows-path: C:\foo\bar\\ +windows-path: C:\foo\bar\\\\ \ Notice that in the final example only the last \c{\\} needs special handling |