From eba574d6068279b401ef788278ec769712d8b7b6 Mon Sep 17 00:00:00 2001 From: Boris Nagaev Date: Mon, 1 May 2017 01:26:50 +0200 Subject: MXE_DISABLE_DOCS: add nodist_man* version Tor installs its mans in nodist_man1_MANS. --- Makefile | 10 ++++++++++ 1 file changed, 10 insertions(+) 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= \ -- cgit v0.12