summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorSean Whitton <spwhitton@spwhitton.name>2017-12-26 18:59:18 +0000
committerSean Whitton <spwhitton@spwhitton.name>2017-12-26 19:03:28 +0000
commitac0af715303c01f21d23d8c9d36f6d2e0b306aa6 (patch)
treeb4c6d0f747bc8521007248ca65b1c7e68ef5a47f /debian
parent833745c3ed935c7f5297f1f270bae3bf9ee6a1e9 (diff)
Commit Debian 3.0 (quilt) metadata
[dgit (4.0) quilt-fixup]
Diffstat (limited to 'debian')
-rw-r--r--debian/patches/configure-mkdocs-for-debian40
-rw-r--r--debian/patches/series1
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