diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2017-12-26 18:59:18 +0000 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2017-12-26 19:03:28 +0000 |
commit | ac0af715303c01f21d23d8c9d36f6d2e0b306aa6 (patch) | |
tree | b4c6d0f747bc8521007248ca65b1c7e68ef5a47f /debian | |
parent | 833745c3ed935c7f5297f1f270bae3bf9ee6a1e9 (diff) |
Commit Debian 3.0 (quilt) metadata
[dgit (4.0) quilt-fixup]
Diffstat (limited to 'debian')
-rw-r--r-- | debian/patches/configure-mkdocs-for-debian | 40 | ||||
-rw-r--r-- | debian/patches/series | 1 |
2 files changed, 41 insertions, 0 deletions
diff --git a/debian/patches/configure-mkdocs-for-debian b/debian/patches/configure-mkdocs-for-debian new file mode 100644 index 00000000..2bf82ed5 --- /dev/null +++ b/debian/patches/configure-mkdocs-for-debian @@ -0,0 +1,40 @@ +From: Sean Whitton <spwhitton@spwhitton.name> +Date: Tue, 26 Dec 2017 18:57:49 +0000 +X-Dgit-Generated: 0.15.1-1 a9678e7ecb5e2e755d50184a45a471e739d40525 +Subject: configure mkdocs for Debian + +1. set site_dir so that docs end up in /usr/share/doc/elpa-cider/html + +2. set use_directory_urls so that links are to foo/index.html rather + than to just foo/, which is better for offline browsing + +3. don't generate installation instructions page + +4. use bootstrap theme not readthedocs theme: the readthedocs theme + has template directives that are evaluated only when the docs are + uploaded to readthedocs.org, and its search functionality also fails + +--- + +--- cider-0.15.1.orig/mkdocs.yml ++++ cider-0.15.1/mkdocs.yml +@@ -1,11 +1,11 @@ + site_name: "CIDER: The Clojure Interactive Development Environment that Rocks" + repo_url: https://github.com/clojure-emacs/cider + site_favicon: favicon.ico ++site_dir: html + copyright: "Copyright (C) 2016-2017 Bozhidar Batsov, Artur Malabarba and CIDER contributors" + docs_dir: doc + pages: + - Home: index.md +-- Installation: installation.md + - Up and Running: up_and_running.md + - Interactive Programming: interactive_programming.md + - Using the REPL: using_the_repl.md +@@ -33,4 +33,5 @@ pages: + - License: about/license.md + extra_css: + - css/extra.css +-theme: readthedocs ++theme_dir: /usr/share/mkdocs/themes/mkdocs_bootstrap ++use_directory_urls: false diff --git a/debian/patches/series b/debian/patches/series new file mode 100644 index 00000000..7f7dacb6 --- /dev/null +++ b/debian/patches/series @@ -0,0 +1 @@ +configure-mkdocs-for-debian |