diff options
| author | Gavin Thomas Claugus <gclaugus@gmail.com> | 2016-07-03 13:13:48 -0400 |
|---|---|---|
| committer | Gavin Thomas Claugus <gclaugus@gmail.com> | 2016-07-03 13:13:48 -0400 |
| commit | 9c6a9b5eed7adc626b806ab123a2bfc6d64d491a (patch) | |
| tree | bf4c1d5259ab692e10976f8bb985d8814571f665 /doc | |
| parent | 7bc2c094a114181eec3309f44c581d2507a3d019 (diff) | |
Define TARGET_MAN variable with manpage target dir
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 1463f7fa..41100898 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -98,6 +98,7 @@ export PANDOC_CC_MAN=$(PANDOC) $(PANDOC_PARAMS) $(DOCUMENT_SETTINGS_MAN) TARGET_PDF=$(OUT_PDF)/paper.pdf TARGET_HTML=$(OUT_HTML)/index.html +TARGET_MAN=$(OUT_MAN)/imag.5 # # # Tasks |