diff options
| author | Gavin Thomas Claugus <gclaugus@gmail.com> | 2016-07-03 13:12:51 -0400 |
|---|---|---|
| committer | Gavin Thomas Claugus <gclaugus@gmail.com> | 2016-07-03 13:12:51 -0400 |
| commit | 7bc2c094a114181eec3309f44c581d2507a3d019 (patch) | |
| tree | 467f30508323da18eb2fb8ddd2778c394e7cbb34 /doc | |
| parent | c0042196daf1679a1307009e709a7476fe55ab87 (diff) | |
Export PANDOC_CC_MAN command
Signed-off-by: Gavin Thomas Claugus <gclaugus@gmail.com>
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
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 # |