[PPL-devel] [GIT] ppl/ppl(master): Distribute the bibliographies.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Apr  2 08:28:04 2012 +0200

Distribute the bibliographies.

---

 NEWS            |    3 +++
 doc/Makefile.am |    5 +++++
 2 files changed, 8 insertions(+), 0 deletions(-)

diff --git a/NEWS b/NEWS
index 89e5c63..97ed008 100644
--- a/NEWS
+++ b/NEWS
@@ -27,6 +27,9 @@ o  Added new Box<ITV> methods
    bound on variable `var'. The methods have been also added to all the
    available language interfaces.
 
+o  Two BibTeX databases of papers related to the Parma Polyhedra Library
+   have been added to the distribution (in the `doc' directory).
+
 
 Bugfixes
 ========
diff --git a/doc/Makefile.am b/doc/Makefile.am
index d911631..9cde930 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -47,6 +47,10 @@ $(PDF_LICENSES) \
 $(TXT_LICENSES) \
 $(PS_LICENSES)
 
+BIBLIOGRAPHIES = \
+ppl.bib \
+ppl_citations.bib
+
 ##### Library Core Manuals (C++ Interface) #####
 
 USER_CORE_HTML_MANUAL = ppl-user- at VERSION@-html.tar.gz
@@ -1629,6 +1633,7 @@ user-language-interface.doxyconf $(USER_JAVA_INTERFACE_STUFF)
 	pdftops $< $@
 
 EXTRA_DIST= \
+$(BIBLIOGRAPHIES) \
 $(DIST_DOCS) \
 $(DOX_FILES) \
 README.doc \