diff --git a/oshmem/shmem/man/man3/Makefile.extra b/oshmem/shmem/man/man3/Makefile.extra index 34baeb1139..06ea2c39f2 100644 --- a/oshmem/shmem/man/man3/Makefile.extra +++ b/oshmem/shmem/man/man3/Makefile.extra @@ -178,6 +178,6 @@ shmem_api_man_pages = \ if PROJECT_OSHMEM nodist_man_MANS += $(shmem_api_man_pages) -EXTRA_DIST += $(shmem_api_man_pages:.3=.3in) endif # PROJECT_OSHMEM +EXTRA_DIST += $(shmem_api_man_pages:.3=.3in)