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=196f2de7fe79d...

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