Hi, I realize I do not have cron git commit permission. I have cleaned up ddp / doc web site with consistent formatting by updating webwml. I realized that policy pdf/ps/txt were all gzipped. Can you apply attached patch to the cron to fix breakage I caused while making things more consistent. Thanks. Osamu
From f32fb92a62e784d78d502847203f1a736869e9fd Mon Sep 17 00:00:00 2001
From: Osamu Aoki <osamu@debian.org>
Date: Sat, 8 Feb 2014 03:02:20 +0900
Subject: [PATCH] debian-policy: no more gz files
Let's make all documents to have consistent publication format
No more gzipped PDF etc.
---
parts/7doc | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/parts/7doc b/parts/7doc
index 62cc89e..7296b36 100755
--- a/parts/7doc
+++ b/parts/7doc
@@ -36,8 +36,9 @@ install_policy_doc () {
install -p -m 664 dp/usr/share/doc/debian-policy/${pathprefix}${document}.html/* "$target"
fi
for format in ps pdf txt; do
- file="dp/usr/share/doc/debian-policy/${pathprefix}${document}.${format}.gz"
- [ -e $file ] && \
+ file="dp/usr/share/doc/debian-policy/${pathprefix}${document}.${format}"
+ [ -e ${file}.gz ] && \
+ gunzip ${file}.gz && \
install -p -m 664 "$file" "$target"
done
if [ $document = "policy" ]; then
--
1.9.rc1
Attachment:
signature.asc
Description: Digital signature