From 0995723f7e3b5ae2a63251caf68a71e93bc01f4d Mon Sep 17 00:00:00 2001
From: Ben Hutchings <ben@decadent.org.uk>
Date: Sun, 25 Mar 2007 16:20:42 +0000
Subject: [PATCH] Removed junk from docs.

---
 debian/rules | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/debian/rules b/debian/rules
index ecb721e..0138c10 100755
--- a/debian/rules
+++ b/debian/rules
@@ -9,8 +9,10 @@ include /usr/share/dpatch/dpatch.make
 
 PACKAGE := ion3
 PACKAGE_DEV := $(PACKAGE)-dev
+PACKAGE_DOC := $(PACKAGE)-doc
 INSTDIR := debian/$(PACKAGE)
 INSTDIR_DEV := debian/$(PACKAGE_DEV)
+INSTDIR_DOC := debian/$(PACKAGE_DOC)
 
 doc-orig:
 	cp -R doc doc-orig
@@ -89,6 +91,12 @@ binary-indep: build-indep install-indep
 
 	dh_installchangelogs -i
 	dh_installdocs -i
+# remove empty images and TeX droppings
+	find $(INSTDIR_DOC)/usr/share/doc/$(PACKAGE_DOC) \
+		-name '*.png' -size 0 \
+		-o -name '*.aux' -o -name '*.idx' -o -name '*.log' \
+		-o -name '*.out' -o -name '*.pl' -o -name WARNINGS \
+		| xargs rm --
 
 #	dh_installexamples -i
 #	dh_install -i
-- 
2.39.5