From 08e78e63cf3e8a6c2c11528877554a8322396fe6 Mon Sep 17 00:00:00 2001
From: "David Adam (zanchey)" <zanchey@ucc.gu.uwa.edu.au>
Date: Mon, 18 Jun 2012 23:00:50 +0800
Subject: [PATCH] docs: fix percentage sign escape character

(Patch taken from Debian packaging.)
---
 doc_src/index.hdr.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc_src/index.hdr.in b/doc_src/index.hdr.in
index 4f773e23e..84eb58cd0 100644
--- a/doc_src/index.hdr.in
+++ b/doc_src/index.hdr.in
@@ -124,7 +124,7 @@ these characters, so called escape sequences are provided. These are:
 - <code>'\\*'</code>, escapes the star character
 - <code>'\\?'</code>, escapes the question mark character
 - <code>'\\~'</code>, escapes the tilde character
-- <code>'\\%'</code>, escapes the percent character
+- <code>'\\%%'</code>, escapes the percent character
 - <code>'\\#'</code>, escapes the hash character
 - <code>'\\('</code>, escapes the left parenthesis character
 - <code>'\\)'</code>, escapes the right parenthesis character