From e5e67dd597d88d1acdc768ab2a1a2628d9dae2fa Mon Sep 17 00:00:00 2001
From: Werner Almesberger <werner@almesberger.net>
Date: Thu, 19 Jul 2012 11:29:49 -0300
Subject: [PATCH] dsv/dsv: add support for PDF embedded in ZIP

Syntax:

D: url-to-zip-file path-of-pdf-in-zip

Example:

D: http://www.usb.org/developers/docs/usb_20_071012.zip usb_20_071012/usb_20.pdf
---
 dsv/dsv | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/dsv/dsv b/dsv/dsv
index 0165c38..3fdeb9f 100755
--- a/dsv/dsv
+++ b/dsv/dsv
@@ -61,8 +61,16 @@ flush()
     ds=$nm-`basename "$url"`
     mkdir -p $DSV_DIR
     if [ ! -r "$DSV_DIR/$ds" ]; then
-	wget -nv -O "$DSV_DIR/$ds" "$url"
-	# @@@ should handle error
+	inside=${url#*.[Zz][Ii][Pp] }
+	if [ "$inside" = "$url" ]; then
+		wget -nv -O "$DSV_DIR/$ds" "$url"
+		# @@@ should handle error
+	else
+		url=${url%`echo x"$inside" | sed 's/./?/g'`}
+		wget -nv -O "$DSV_DIR/_tmp" "$url"
+		unzip -p "$DSV_DIR/_tmp" "$inside" >"$DSV_DIR/$ds" ||
+		    { rm -f "$DSV_DIR/$ds"; exit 1; }
+	fi
     fi
     eval for n in $name $alias\; do \
         'nm=`echo "$n" | sed "s/%/%25/g;s|/|%2F|g"`;' \