From 542fcbe50ec344713db1ed0cb64455e9ff306587 Mon Sep 17 00:00:00 2001
From: Phil Clifford <philip.clifford@gmail.com>
Date: Tue, 14 May 2024 13:19:41 +0100
Subject: [PATCH] fix: update Makefile for better pandoc options

---
 docs/pandoc-man.mk | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/docs/pandoc-man.mk b/docs/pandoc-man.mk
index 90d6ecb..a6390e7 100644
--- a/docs/pandoc-man.mk
+++ b/docs/pandoc-man.mk
@@ -2,7 +2,10 @@ PANDOC ?= pandoc
 
 MANSECTION ?= 1
 
-MANPAGE.md = $(PANDOC) --standalone $(PANDOCFLAGS) --to man
+PANDOC_OPTIONS=-f gfm+definition_lists --standalone
+
+
+MANPAGE.md = $(PANDOC) --standalone $(PANDOC_OPTIONS) --to man
 
 %.$(MANSECTION): %.$(MANSECTION).md
 	$(MANPAGE.md) $< -o $@
\ No newline at end of file