From c88a1da404903f5bcce8ae71cf3267d0cb01ec66 Mon Sep 17 00:00:00 2001 From: Don Armstrong Date: Sat, 15 Sep 2012 14:53:01 -0700 Subject: [PATCH] include gzip'ed pdfs in the pdf doc-base --- debian/update_doc_packages | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/update_doc_packages b/debian/update_doc_packages index 4143c30559..883b2f26f3 100644 --- a/debian/update_doc_packages +++ b/debian/update_doc_packages @@ -112,7 +112,7 @@ EOF } else { print {$docbase_fh} <