r1931: *** empty log message ***
[uffi.git] / debian / rules
index 00d477f8020ec12d6a09ad549853d295bc40dd7a..679610ac4dc2dd75ea5a9ede36e6a1d69ee71f70 100755 (executable)
@@ -60,11 +60,11 @@ install: build
        $(INSTALL) $(INSTALLFLAGS) $(shell echo src/*.cl *.system) $(REPOSITORYDIR)
        $(INSTALL) $(INSTALLFLAGS) $(shell echo src/mcl/*.cl) $(REPOSITORYDIR)/mcl
        $(INSTALL) $(INSTALLFLAGS) doc/html/* $(DOCDIR)/html
-       cp doc/uffi.ps doc/cl-uffi.ps
-       rm -f doc/cl-uffi.ps.gz
-       gzip doc/cl-uffi.ps
-       $(INSTALL) $(INSTALLFLAGS) doc/cl-uffi.ps.gz $(DOCDIR)
-       rm -f doc/cl-uffi.ps.gz
+       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
 
 # Build architecture-independent files here.
 binary-indep: build install