# 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