# [PATCH] Remove escaping of '|' in manpage option sections

1 messages from 2007-11-02 to 2007-11-02. Participants: Jonas Fonseca.
Thread: https://gitlist.dev/t/10586

## Jonas Fonseca, 2007-11-02 09:10

Subject: [PATCH] Remove escaping of '|' in manpage option sections
Message-ID: <20071102091011.GB10141@diku.dk>
URL: https://gitlist.dev/e/20071102091011.GB10141%40diku.dk

```
The escaped were ending up verbatim in the generated documentation.

Signed-off-by: Jonas Fonseca <fonseca@diku.dk>
---
 Documentation/git-filter-branch.txt |    2 +-
 Documentation/git-stripspace.txt    |    2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Documentation/git-filter-branch.txt b/Documentation/git-filter-branch.txt
index ba9b4fb..37b6fb8 100644
--- a/Documentation/git-filter-branch.txt
+++ b/Documentation/git-filter-branch.txt
@@ -152,7 +152,7 @@ definition impossible to preserve signatures at any rate.)
 	does this in the '.git-rewrite/' directory but you can override
 	that choice by this parameter.
 
--f\|--force::
+-f|--force::
 	`git filter-branch` refuses to start with an existing temporary
 	directory or when there are already refs starting with
 	'refs/original/', unless forced.
diff --git a/Documentation/git-stripspace.txt b/Documentation/git-stripspace.txt
index 5212358..f80526b 100644
--- a/Documentation/git-stripspace.txt
+++ b/Documentation/git-stripspace.txt
@@ -16,7 +16,7 @@ Remove multiple empty lines, and empty lines at beginning and end.
 
 OPTIONS
 -------
--s\|--strip-comments::
+-s|--strip-comments::
 	In addition to empty lines, also strip lines starting with '#'.
 
 <stream>::
-- 
1.5.3.4.1481.g854da-dirty

-- 
Jonas Fonseca

```
