From a3c269163235fc0ec59dd4beb0456bc5d4be4475 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 26 Jan 2016 16:00:14 +0100 Subject: [PATCH] debian: add missing file * debian/libspotltlsmin0.install: Rename as... * debian/libspotltsmin0.install: ... this, and * Makefile.am: Actually distribute it! --- Makefile.am | 5 +++-- debian/{libspotltlsmin0.install => libspotltsmin0.install} | 0 2 files changed, 3 insertions(+), 2 deletions(-) rename debian/{libspotltlsmin0.install => libspotltsmin0.install} (100%) diff --git a/Makefile.am b/Makefile.am index d37f768e6..0ffdfbc93 100644 --- a/Makefile.am +++ b/Makefile.am @@ -1,6 +1,6 @@ ## -*- coding: utf-8 -*- -## Copyright (C) 2011, 2012, 2013, 2014, 2015 Laboratoire de Recherche -## et Développement de l'Epita (LRDE). +## Copyright (C) 2011, 2012, 2013, 2014, 2015, 2016 Laboratoire de +## Recherche et Développement de l'Epita (LRDE). ## Copyright (C) 2003, 2005 Laboratoire d'Informatique de Paris 6 (LIP6), ## département Systèmes Répartis Coopératifs (SRC), Université Pierre ## et Marie Curie. @@ -47,6 +47,7 @@ DEBIAN = \ debian/libbddx0.install \ debian/libbddx-dev.install \ debian/libspot0.install \ + debian/libspotltsmin0.install \ debian/libspot-dev.install \ debian/python3-spot.examples \ debian/python3-spot.install \ diff --git a/debian/libspotltlsmin0.install b/debian/libspotltsmin0.install similarity index 100% rename from debian/libspotltlsmin0.install rename to debian/libspotltsmin0.install