diff options
author | Gavin Thomas Claugus <gclaugus@gmail.com> | 2016-07-03 13:06:18 -0400 |
---|---|---|
committer | Gavin Thomas Claugus <gclaugus@gmail.com> | 2016-07-03 13:06:18 -0400 |
commit | 0185ab3fd8bc6df1e118d163f0f74b572bcfbc16 (patch) | |
tree | f208c28788baf89b082e9f616c95780042b30dfb /doc | |
parent | 80a198523aa1088758b0771dcab46ab6781eefa8 (diff) |
Export manpage output directory
Signed-off-by: Gavin Thomas Claugus <gclaugus@gmail.com>
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile index 495c043b..49e7da3e 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -11,6 +11,7 @@ export MAKE_FLAGS=--no-print-directory export OUT=$(shell pwd)/bin export OUT_PDF=$(OUT)/pdf/ export OUT_HTML=$(OUT)/html/ +export OUT_MAN=$(OUT)/man/ DOCUMENT_CLASS=article SETTING_FONTSIZE=11pt |