From c4223ca094e149e69087775fdafd44cf0e4cfd3d Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Mon, 5 Nov 2018 10:09:52 -0800
Subject: MANUAL: don't put pandoc in code ticks in heading.

---
 MANUAL.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/MANUAL.txt b/MANUAL.txt
index 3fe34ad8e..edc47dd6d 100644
--- a/MANUAL.txt
+++ b/MANUAL.txt
@@ -40,8 +40,8 @@ model.  While conversions from pandoc's Markdown to all formats aspire
 to be perfect, conversions from formats more expressive than pandoc's
 Markdown can be expected to be lossy.
 
-Using `pandoc`
---------------
+Using pandoc
+------------
 
 If no *input-files* are specified, input is read from *stdin*.
 Output goes to *stdout* by default. For output to a file,
-- 
cgit v1.2.3