Module: ppl/ppl Branch: master Commit: ff9eb6ed7c3da9a3aff82d2b3689b61c4c98edf3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff9eb6ed7c3da...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Jun 27 07:44:33 2012 +0200

Unconditionally distribute the man page.

---

demos/ppl_lpsol/Makefile.am | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/demos/ppl_lpsol/Makefile.am b/demos/ppl_lpsol/Makefile.am index 56dcaa1..44a4f7d 100644 --- a/demos/ppl_lpsol/Makefile.am +++ b/demos/ppl_lpsol/Makefile.am @@ -36,6 +36,9 @@ expected_int32_a \ expected_int64 \ expected_int64_a

+dist_man_MANS = \ +ppl_lpsol.1 + if BUILD_C_INTERFACE if HAVE_GLPK

@@ -77,9 +80,6 @@ noinst_LIBRARIES = libglpk_set_d_eps.a libglpk_set_d_eps_a_SOURCES = \ glpk_set_d_eps.c

-dist_man_MANS = \ -ppl_lpsol.1 - COEFFICIENT_MNEMONIC = @coefficient_mnemonic@

if ASSERTIONS_ENABLED