r2237: *** empty log message ***

diff --git a/debian/rules b/debian/rules
index d81103bc73f10751b3fd99e64d02317ebf444181..c1b94c933e5cd21bfbb65f14cabef158a6476dfd 100755 (executable)
--- 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