From 656eeeaf3b179fd507382a5d57eeeeec5b3dfa77 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 26 Jan 2011 22:10:57 +0100 Subject: [PATCH] * wrap/python/ajax/Makefile.am (EXTRA_DIST): Add icons/mail.png. --- ChangeLog | 4 ++++ wrap/python/ajax/Makefile.am | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index edc4658fd..a7d251e61 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2011-01-26 Alexandre Duret-Lutz + + * wrap/python/ajax/Makefile.am (EXTRA_DIST): Add icons/mail.png. + 2011-01-26 Alexandre Duret-Lutz * NEWS: Mention the new on-line ltl2tgba version. diff --git a/wrap/python/ajax/Makefile.am b/wrap/python/ajax/Makefile.am index 9676d8333..9f9549f00 100644 --- a/wrap/python/ajax/Makefile.am +++ b/wrap/python/ajax/Makefile.am @@ -22,7 +22,7 @@ nodist_noinst_SCRIPTS = spot.py EXTRA_DIST = $(srcdir)/spot.in README ltl2tgba.html css/ltl2tgba.css \ css/tipTip.css js/jquery.tipTip.minified.js logos/lip6sys64.png \ - logos/lrde64.png logos/spot64s.png \ + logos/lrde64.png logos/spot64s.png logos/mail.png \ css/ui-lightness/jquery-ui-1.8.8.custom.css \ css/ui-lightness/images/ui-icons_222222_256x240.png \ css/ui-lightness/images/ui-bg_glass_100_f6f6f6_1x400.png \