From bb48778fb331543cd8c1bdfaa877ab7077a2a93a Mon Sep 17 00:00:00 2001
From: Emmanuel Bouthenot <kolter@openics.org>
Date: Fri, 7 Jan 2022 22:23:21 +0100
Subject: [PATCH] Remove unused $PANDOCFLAGS in doc Makefile

---
 doc/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/Makefile b/doc/Makefile
index 35f3f04..acdc09e 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -8,7 +8,7 @@ clean:
 	rm -f $(NAME).$(MANSECTION) $(NAME).$(MANSECTION).html
 
 $(NAME).$(MANSECTION): $(NAME).$(MANSECTION).md
-	$(PANDOC) --standalone $(PANDOCFLAGS) --to man $(NAME).$(MANSECTION).md -o $@
+	$(PANDOC) --standalone --to man $(NAME).$(MANSECTION).md -o $@
 
 $(NAME).$(MANSECTION).html: template.html $(NAME).$(MANSECTION).md
-	$(PANDOC) --standalone $(PANDOCFLAGS) --to html5 --template template.html $(NAME).$(MANSECTION).md -o $@
+	$(PANDOC) --standalone --to html5 --template template.html $(NAME).$(MANSECTION).md -o $@