- # Add here commands to install the package into debian/uffi.
- $(INSTALL) $(INSTALLDIRFLAGS) $(srcdir)
- $(INSTALL) $(INSTALLDIRFLAGS) $(srcdir)/mcl
- $(INSTALL) $(INSTALLFLAGS) $(shell echo src/*.cl *.system) $(srcdir)
- $(INSTALL) $(INSTALLFLAGS) $(shell echo src/mcl/*.cl) $(clc-source)/mcl
- $(INSTALL) $(INSTALLFLAGS) doc/html/* $(DOCDIR)/html
- cp doc/uffi.pdf doc/cl-uffi.pdf
- rm -f doc/cl-uffi.pdf.gz
- gzip doc/cl-uffi.pdf
- $(INSTALL) $(INSTALLFLAGS) doc/cl-uffi.pdf.gz $(DOCDIR)
- rm -f doc/cl-uffi.pdf.gz