diff options
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/changelog | 4 | ||||
| -rwxr-xr-x | debian/rules | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index 0a61daeb..5d93f527 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,9 +1,13 @@ cider (0.18.0+dfsg-2) UNRELEASED; urgency=medium + [ Dmitry Shachnev ] * Stop overriding mkdocs theme, search works fine now. * Use dh_mkdocs instead of dh_linktree. * Prevent search_index.json from being compressed. + [ Sean Whitton ] + * Prevent any HTML docs being compressed, too. + -- Dmitry Shachnev <mitya57@debian.org> Sun, 16 Dec 2018 14:06:32 +0300 cider (0.18.0+dfsg-1) unstable; urgency=medium diff --git a/debian/rules b/debian/rules index 0e222538..48ab2665 100755 --- a/debian/rules +++ b/debian/rules @@ -11,4 +11,4 @@ override_dh_installdocs: dh_installdocs -X__pycache__ --link-doc=elpa-cider override_dh_compress: - dh_compress -Xsearch_index.json + dh_compress -Xsearch_index.json -Xhtml/ |