From 9a092ec015ce9f9d92cbf0a8b523fb21f4de6cf1 Mon Sep 17 00:00:00 2001
From: Phidica Veia <phidica.veia@gmail.com>
Date: Tue, 31 Jan 2017 16:51:13 +1030
Subject: [PATCH] Add vertical bar escape `\|` to documentation

Fixes #3794

(cherry picked from commit 84b59ae0be181a358ce64802f8e6da2561bbd7b5)
---
 doc_src/index.hdr.in | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc_src/index.hdr.in b/doc_src/index.hdr.in
index 5c8be9a4d..976c3054c 100644
--- a/doc_src/index.hdr.in
+++ b/doc_src/index.hdr.in
@@ -106,6 +106,7 @@ Some characters can not be written directly on the command line. For these chara
 - '<code>\\\></code>' escapes the more than character
 - '<code>\\^</code>' escapes the circumflex character
 - '<code>\\&amp;</code>' escapes the ampersand character
+- '<code>\\|</code>' escapes the vertical bar character
 - '<code>\\;</code>' escapes the semicolon character
 - '<code>\\"</code>' escapes the quote character
 - '<code>\\'</code>' escapes the apostrophe character