From 64eb59a7a07975cde98cf648ed4746d1a9ccab93 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sun, 31 Oct 2021 11:12:43 -0700
Subject: [PATCH] Makefile: remove man/pandoc.1 dependency for debpkg.

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index a880da12d..759bc7dca 100644
--- a/Makefile
+++ b/Makefile
@@ -87,7 +87,7 @@ check: checkdocs check-cabal
 checkdocs:
 	! grep -q -n -e "\t" MANUAL.txt changelog.md
 
-debpkg: man/pandoc.1
+debpkg:
 	docker run -v `pwd`:/mnt \
                    -v `pwd`/linux/artifacts:/artifacts \
 		   --user $(id -u):$(id -g) \