From 88a31332cdc992959d12066db4051fce575bb29e Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Mon, 15 Aug 2022 09:58:58 -0700
Subject: [PATCH] Makefile: Add man target.

---
 Makefile          | 3 +++
 RELEASE-CHECKLIST | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index dab193fe5..4b65a5fff 100644
--- a/Makefile
+++ b/Makefile
@@ -77,6 +77,9 @@ fix_spacing: ## Fix trailing newlines and spaces
 changes_github: ## copy this release's changes in gfm
 	pandoc --lua-filter tools/extract-changes.lua changelog.md -t gfm --wrap=none --template tools/changes_template.html | sed -e 's/\\#/#/g' | pbcopy
 
+man: man/pandoc.1 man/pandoc-server.1
+
+.PHONY: man
 
 debpkg: ## create linux package
 	docker run -v `pwd`:/mnt \
diff --git a/RELEASE-CHECKLIST b/RELEASE-CHECKLIST
index 429ac7fd7..d087977e5 100644
--- a/RELEASE-CHECKLIST
+++ b/RELEASE-CHECKLIST
@@ -1,6 +1,6 @@
 [ ] make check
 [ ] make README.md and commit if needed
-[ ] make man/pandoc.1 and man/pandoc-server.1 and commit if needed
+[ ] make man
 [ ] Finalize changelog
 [ ] Update AUTHORS
 [ ] push release candidate branch rc/VERSION and (if it builds