From 2aa788ed483b8f3306d3c4fbd883dd4b2dc2a6e1 Mon Sep 17 00:00:00 2001
From: "Kevin M. Rosenberg" <kevin@rosenberg.net>
Date: Wed, 24 Jul 2002 06:10:24 +0000
Subject: [PATCH] r2237: *** empty log message ***

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

diff --git a/debian/rules b/debian/rules
index d81103b..c1b94c9 100755
--- a/debian/rules
+++ b/debian/rules
@@ -57,6 +57,7 @@ install: build
 	dh_installdirs -p $(pkg) $(pixmap-dir)
 	dh_install -p $(pkg) debian/ctsim.xpm $(pixmap-dir)
 
+	(cd docs; tar xzf html.tar.gz)
 	dh_install -p $(pkg-doc) docs/html $(doc-dir)
 	dh_link -p $(pkg-doc) $(doc-dir)/html/$(pkg)_contents.html $(doc-dir)/html/index.html
 	gzip -9 docs/ctsim.pdf
-- 
2.34.1