From 85391ab9fec86a3bdc00ee4bcedb8c4c37f26d07 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 2 Jul 2012 17:25:51 +0200 Subject: [PATCH] * wrap/python/ajax/Makefile.am (EXTRA_DIST): Add loading.gif. --- wrap/python/ajax/Makefile.am | 1 + 1 file changed, 1 insertion(+) diff --git a/wrap/python/ajax/Makefile.am b/wrap/python/ajax/Makefile.am index d881b3921..5a65399f3 100644 --- a/wrap/python/ajax/Makefile.am +++ b/wrap/python/ajax/Makefile.am @@ -25,6 +25,7 @@ EXTRA_DIST = $(srcdir)/spot.in README ltl2tgba.html css/ltl2tgba.css \ css/tipTip.css js/jquery.tipTip.minified.js js/jquery.ba-bbq.min.js \ js/jquery.ba-dotimeout.min.js logos/lip6sys64.png logos/lrde64.png \ logos/spot64s.png logos/mail.png \ + css/loading.gif \ css/ui-lightness/jquery-ui-1.8.13.custom.css \ css/ui-lightness/images/ui-icons_222222_256x240.png \ css/ui-lightness/images/ui-bg_glass_100_f6f6f6_1x400.png \