MXE_DISABLE_DOCS: add nodist_man* version

Tor installs its mans in nodist_man1_MANS.
This commit is contained in:
Boris Nagaev 2017-05-01 01:26:50 +02:00
parent e2dc29ebda
commit eba574d606
1 changed files with 10 additions and 0 deletions

View File

@ -144,6 +144,16 @@ MXE_DISABLE_DOCS = \
dist_man7_MANS= \
dist_man8_MANS= \
dist_man9_MANS= \
nodist_man_MANS= \
nodist_man1_MANS= \
nodist_man2_MANS= \
nodist_man3_MANS= \
nodist_man4_MANS= \
nodist_man5_MANS= \
nodist_man6_MANS= \
nodist_man7_MANS= \
nodist_man8_MANS= \
nodist_man9_MANS= \
notrans_dist_man_MANS= \
MANLINKS= \
info_TEXINFOS= \