summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBoris Nagaev <bnagaev@gmail.com>2017-04-30 23:26:50 (GMT)
committerBoris Nagaev <bnagaev@gmail.com>2017-05-18 23:59:05 (GMT)
commiteba574d6068279b401ef788278ec769712d8b7b6 (patch)
tree39c014ea96d512e01e6793c477b00f4817d51021
parente2dc29ebdaca7d0654c519522f9173c95817027f (diff)
downloadmxe-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--Makefile10
1 files changed, 10 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 5704761..926de5e 100644
--- a/Makefile
+++ b/Makefile
@@ -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= \