diff --git a/orte/tools/orte-checkpoint/Makefile.am b/orte/tools/orte-checkpoint/Makefile.am index 568ff7e1d5..afcf3c80cf 100644 --- a/orte/tools/orte-checkpoint/Makefile.am +++ b/orte/tools/orte-checkpoint/Makefile.am @@ -19,7 +19,7 @@ # Bug in AM 1.10.1: need to list man pages because dist_man_MANS is # not picked up inside of an AM_CONDITIONAL -EXTRA_DIST = orte-checkpoint.1 ompi-checkpoint.1 +EXTRA_DIST = orte-checkpoint.1 if !ORTE_DISABLE_FULL_SUPPORT if WANT_FT diff --git a/orte/tools/orte-restart/Makefile.am b/orte/tools/orte-restart/Makefile.am index c1eb781e32..ab7b99e5af 100644 --- a/orte/tools/orte-restart/Makefile.am +++ b/orte/tools/orte-restart/Makefile.am @@ -19,7 +19,7 @@ # Bug in AM 1.10.1: need to list man pages because dist_man_MANS is # not picked up inside of an AM_CONDITIONAL -EXTRA_DIST = orte-restart.1 ompi-restart.1 +EXTRA_DIST = orte-restart.1 if !ORTE_DISABLE_FULL_SUPPORT if WANT_FT