chiark / gitweb /
don't compress PDF
[developers-reference.git] / debian / rules
index 8553d5e771bb05a46a332dbcb66bf6f027242114..645e436d7df91b6a694abe960f885ac9c82a6394 100755 (executable)
@@ -86,7 +86,7 @@ binary-indep: build
 
 #       compress docdir (policy)       
        find $(docdir) -type f \( -size +4k -or -iname "change*" \)     \
-               ! -name "*.html" ! -name "*.gif"                        \
+               ! -name "*.html" ! -name "*.gif" ! -name "*.pdf"        \
                ! -name "copyright" | xargs $(compress)
 
        dpkg-gencontrol -isp