[PPL-devel] [GIT] ppl/ppl(deprecated_0_11_removal): Added targets to have `make -n dist ' work as expected.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Apr 16 11:15:41 2009 +0200

Added targets to have `make -n dist' work as expected.

---

 Watchdog/doc/Makefile.am |    3 +++
 doc/Makefile.am          |    3 +++
 2 files changed, 6 insertions(+), 0 deletions(-)

diff --git a/Watchdog/doc/Makefile.am b/Watchdog/doc/Makefile.am
index 891b0ed..7357eb0 100644
--- a/Watchdog/doc/Makefile.am
+++ b/Watchdog/doc/Makefile.am
@@ -276,3 +276,6 @@ mostlyclean-local:
 CLEANFILES = \
 $(USER_CORE_HTML_DIR).tag \
 $(DEVREF_CORE_HTML_DIR).tag
+
+../src/pwl_include_files.hh:
+	$(MAKE) $(AM_MAKEFLAGS) -C ../src pwl_include_files.hh
diff --git a/doc/Makefile.am b/doc/Makefile.am
index ac2ab5e..ab02148 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -1632,3 +1632,6 @@ mostlyclean-local:
 CLEANFILES = \
 $(USER_CORE_HTML_DIR).tag \
 $(DEVREF_CORE_HTML_DIR).tag
+
+../src/ppl_include_files.hh:
+	$(MAKE) $(AM_MAKEFLAGS) -C ../src ppl_include_files.hh