From 7bc2c094a114181eec3309f44c581d2507a3d019 Mon Sep 17 00:00:00 2001
From: Gavin Thomas Claugus <gclaugus@gmail.com>
Date: Sun, 3 Jul 2016 13:12:51 -0400
Subject: [PATCH] Export PANDOC_CC_MAN command

Signed-off-by: Gavin Thomas Claugus <gclaugus@gmail.com>
---
 doc/Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/doc/Makefile b/doc/Makefile
index af2916cc..1463f7fa 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -54,6 +54,7 @@ DOCUMENT_SETTINGS_HTML=			\
 	--webtex
 
 DOCUMENT_SETTINGS_MAN=			\
+	-s					\
 	--variable section=5			\
 
 #
@@ -93,6 +94,8 @@ export PANDOC_CC_PDF=$(PANDOC)        \
 
 export PANDOC_CC_HTML=$(PANDOC) $(PANDOC_PARAMS) $(DOCUMENT_SETTINGS_HTML)
 
+export PANDOC_CC_MAN=$(PANDOC) $(PANDOC_PARAMS) $(DOCUMENT_SETTINGS_MAN)
+
 TARGET_PDF=$(OUT_PDF)/paper.pdf
 TARGET_HTML=$(OUT_HTML)/index.html
 #