r1811: *** empty log message ***

[uffi.git] / debian / rules

diff --git a/debian/rules b/debian/rules
index 884c24a603be308750663f99f3b4fd40d1236b0b..d189b289af5404cec68e31fa6da8d2c0520076ff 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -57,7 +57,8 @@ install: build
 
        # Add here commands to install the package into debian/uffi.
        $(INSTALL) $(INSTALLDIRFLAGS) $(SOURCESDEST) $(SOURCESDEST)/mcl $(SYSDIR) $(DOCDIR) $(DOCDIR)/html
-       $(INSTALL) $(INSTALLFLAGS) uffi.system $(SYSDIR)
+       $(INSTALL) $(INSTALLFLAGS) uffi.system.debian $(SYSDIR)
+       mv $(SYSDIR)/uffi.system.debian $(SYSDIR)/uffi.system
        $(INSTALL) $(INSTALLFLAGS) $(shell echo src/*.cl) $(SOURCESDEST)
        $(INSTALL) $(INSTALLFLAGS) $(shell echo src/mcl/*.cl) $(SOURCESDEST)/mcl
        $(INSTALL) $(INSTALLFLAGS) doc/html/* $(DOCDIR)/html