From a2b98c6340f72324080811e552727c48d83dbeb2 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sun, 28 Apr 2013 15:20:25 +0200 Subject: [PATCH] man: Fix installation and distribution of spot-x.7. * src/bin/man/Makefile.am: Install spot-x.7 in $(man7dir), and make sure we distribute spot-x.x. --- src/bin/man/Makefile.am | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/bin/man/Makefile.am b/src/bin/man/Makefile.am index cc56ce8ae..cdaec3555 100644 --- a/src/bin/man/Makefile.am +++ b/src/bin/man/Makefile.am @@ -28,11 +28,12 @@ dist_man1_MANS = \ ltl2tgta.1 \ ltlcross.1 \ ltlfilt.1 \ - randltl.1 \ + randltl.1 +dist_man7_MANS = \ spot-x.7 -MAINTAINERCLEANFILES = $(dist_man1_MANS) -EXTRA_DIST = $(dist_man1_MANS:.1=.x) +MAINTAINERCLEANFILES = $(dist_man1_MANS) $(dist_man7_MANS) +EXTRA_DIST = $(dist_man1_MANS:.1=.x) $(dist_man7_MANS:.7=.x) ltl2tgba.1: $(common_dep) $(srcdir)/ltl2tgba.x $(srcdir)/../ltl2tgba.cc $(convman) ../ltl2tgba$(EXEEXT) $(srcdir)/ltl2tgba.x $@