diff options
author | Boris Nagaev <bnagaev@gmail.com> | 2017-04-30 23:26:50 (GMT) |
---|---|---|
committer | Boris Nagaev <bnagaev@gmail.com> | 2017-05-18 23:59:05 (GMT) |
commit | eba574d6068279b401ef788278ec769712d8b7b6 (patch) | |
tree | 39c014ea96d512e01e6793c477b00f4817d51021 | |
parent | e2dc29ebdaca7d0654c519522f9173c95817027f (diff) | |
download | mxe-eba574d6068279b401ef788278ec769712d8b7b6.zip mxe-eba574d6068279b401ef788278ec769712d8b7b6.tar.gz mxe-eba574d6068279b401ef788278ec769712d8b7b6.tar.bz2 |
MXE_DISABLE_DOCS: add nodist_man* version
Tor installs its mans in nodist_man1_MANS.
-rw-r--r-- | Makefile | 10 |
1 files changed, 10 insertions, 0 deletions
@@ -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= \ |