diff options
| -rw-r--r-- | man/Makefile.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/man/Makefile.am b/man/Makefile.am index 9076afcb0..37bfd9a2a 100644 --- a/man/Makefile.am +++ b/man/Makefile.am @@ -15,7 +15,9 @@ # You should have received a copy of the GNU General Public License # along with this program. If not, see <http://www.gnu.org/licenses/>. -dist_man_MANS = $(MAN) +# We must include at least one literal name here, so that +# automake-1.10.1 emits the required install-man* rules. +dist_man_MANS = rm.1 $(MAN) man_aux = $(dist_man_MANS:.1=.x) |