[PPL-devel] [GIT] ppl/ppl(master): Unconditionally distribute the man page.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at 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