From 5f13270c479b8959a9b2c20e7fa610e62c08a909 Mon Sep 17 00:00:00 2001 From: Igor Ivanov Date: Thu, 10 Sep 2015 13:06:20 +0300 Subject: [PATCH] oshmem: Do not install man pages in case oshmem is off --- oshmem/shmem/man/man3/Makefile.extra | 3 +++ 1 file changed, 3 insertions(+) diff --git a/oshmem/shmem/man/man3/Makefile.extra b/oshmem/shmem/man/man3/Makefile.extra index 965bbbb97c..34baeb1139 100644 --- a/oshmem/shmem/man/man3/Makefile.extra +++ b/oshmem/shmem/man/man3/Makefile.extra @@ -176,5 +176,8 @@ shmem_api_man_pages = \ shmem/man/man3/shmem_clear_cache_inv.3 \ shmem/man/man3/shmem_clear_cache_line_inv.3 +if PROJECT_OSHMEM nodist_man_MANS += $(shmem_api_man_pages) EXTRA_DIST += $(shmem_api_man_pages:.3=.3in) +endif # PROJECT_OSHMEM +