[GIT] ppl/ppl(master): Unconditionally distribute the man page.
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
participants (1)
-
Roberto Bagnara