Add DOCUMENT_SETTINGS_MAN variable

Signed-off-by: Gavin Thomas Claugus <gclaugus@gmail.com>
This commit is contained in:
Gavin Thomas Claugus 2016-07-03 13:09:20 -04:00
parent 0185ab3fd8
commit c0042196da

View file

@ -53,6 +53,9 @@ DOCUMENT_SETTINGS_HTML= \
--table-of-contents \
--webtex
DOCUMENT_SETTINGS_MAN= \
--variable section=5 \
#
#
#