From 31aeea724e53a87afcdaabb85f061167ee6375e0 Mon Sep 17 00:00:00 2001
From: Ole Tange <ole@tange.dk>
Date: Mon, 17 Jul 2017 00:16:04 +0200
Subject: [PATCH] =?UTF-8?q?pdfman:=20convert=20=CB=86=20to=20^.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 pdfman/pdfman | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/pdfman/pdfman b/pdfman/pdfman
index ed367c6..ee2c5ed 100755
--- a/pdfman/pdfman
+++ b/pdfman/pdfman
@@ -117,6 +117,11 @@ fi
 
 man -w "$@" |
     parallel 'zcat {} || cat {}' 2>/dev/null |
+    # Convert ˆ to ^
+    #   remove lines like: .    ds ^ \&
+    perl -ne '/^\s*\.\s*ds\s+\S*\^/ or print' |
+    #   replace ^ with \(ha
+    sed 's/\^/\\(ha/g' |
     # Convert -- to - and '' to "
     (echo '.tr \--'; perl -pe "s/''|\`\`/\"\"/g;") |
     man -tl - |