cider - Debian dgit repo for package cider

	Commit message (Collapse)	Author	Age
*	Stop overriding upstream choice of mkdocs theme.	Dmitry Shachnev	2018-12-18
\| \| \| \|	Search now works fine with the readthedocs theme.
*	Merge tag 'v0.18.0+dfsg' into wip/master	Sean Whitton	2018-09-08
\|\ \| \| \| \| \| \|	DFSG-clean upstream version 0.18.0
\| *	Set the edit_uri explicitly	Bozhidar Batsov	2018-08-06
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	I assumed it was derived from the `docs_dir`, it seems it's set by default to `edit/master/docs/`. More details - https://www.mkdocs.org/user-guide/configuration/#edit_uri
\| *	[Fix #2341] Update connection management section in the manual (#2364)	Vitalie Spinu	2018-06-30
\| \|
\| *	Use a fancy copyright symbol	Bozhidar Batsov	2018-06-17
\| \|
\| *	Add the admonitions markdown extension	Bozhidar Batsov	2018-06-17
\| \| \| \| \| \| \| \| \| \|	Seems those notes I was trying to add need this to be enabled to work https://python-markdown.github.io/extensions/admonition/
* \|	Merge tag 'v0.17.0+dfsg'	Sean Whitton	2018-05-12
\|\\| \| \| \| \| \| \|	DFSG-clean upstream version 0.17.0
\| *	Move the ClojureScript documentation to a dedicated section of the	Bozhidar Batsov	2018-04-27
\| \| \| \| \| \| \| \|	manual
\| *	Bump the copyright years	Bozhidar Batsov	2018-01-01
\| \|
* \|	drop favicon from mkdocs config	Sean Whitton	2018-01-20
\| \| \| \| \| \| \| \|	This has been removed by DFSG filtering.
* \|	restore and patch installation section of manual	Sean Whitton	2018-01-20
\| \| \| \| \| \| \| \|	Information about nREPL middleware is needed by the end user.
* \|	configure mkdocs for Debian	Sean Whitton	2017-12-26
\|/ \| \| \| \| \| \| \| \| \| \| \| \|	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
*	[Fix #1862] Add "Hacking on CIDER" section to the manual	Bozhidar Batsov	2017-01-04
\|
*	Update the copyright years in the documentation	Bozhidar Batsov	2017-01-03
\|
*	Add a FAQ section to the manual	Bozhidar Batsov	2016-10-06
\|
*	Fix CIDER expansion in the docs (#1754)	Puneeth Chaganti	2016-05-19
\|
*	Move the changelog to a separate manual section	Bozhidar Batsov	2016-04-13
\|
*	Group a few pages together in an About section of the manual	Bozhidar Batsov	2016-04-13
\|
*	Try to deal with an encoding issue	Bozhidar Batsov	2016-04-13
\| \| \| \|	For some reason unicode characters break the readthedocs build.
*	Add a copyright notice to the manual	Bozhidar Batsov	2016-04-13
\|
*	Use the readthedocs theme locally	Bozhidar Batsov	2016-04-13
\|
*	Extract a dedicated section for connection management	Bozhidar Batsov	2016-04-12
\|
*	Rename "Extended Workflow" to "Miscellaneous Features"	Bozhidar Batsov	2016-04-11
\|
*	Fix a couple of manual section references	Bozhidar Batsov	2016-04-11
\|
*	Extract a few more standalone manual sections from extended workflow	Bozhidar Batsov	2016-04-10
\|
*	Extract a standalone code completion section	Bozhidar Batsov	2016-04-10
\|
*	Add a repo url and a favicon to the manual	Bozhidar Batsov	2016-04-10
\|
*	Prettify the keybindings in the manual with some custom css	Bozhidar Batsov	2016-04-09
\|
*	Split the basic usage section in two	Bozhidar Batsov	2016-04-06
\|
*	Introduce a dedicated REPL section	Bozhidar Batsov	2016-04-06
\|
*	Slim down the manual's home page	Bozhidar Batsov	2016-04-02
\|
*	Improve a section title	Bozhidar Batsov	2016-03-31
\|
*	Add a support section to the manual	Bozhidar Batsov	2016-03-31
\|
*	Create a dedicate manual section for additional packages	Bozhidar Batsov	2016-03-30
\|
*	Revert "Change the manual's theme"	Bozhidar Batsov	2016-03-29
\| \| \| \| \| \| \|	This reverts commit b59729612fef2db0be668e05dc385408904f38de. Turned out readthedocs doesn't support changing mkdocs's theme. More info here - https://github.com/rtfd/readthedocs.org/issues/978
*	Change the manual's theme	Bozhidar Batsov	2016-03-29
\|
*	Use only underscores in manual file names	Bozhidar Batsov	2016-03-28
\|
*	Move the additional resources to a separate section of the manual	Bozhidar Batsov	2016-03-28
\|
*	Move the team info to a separate section of the manual	Bozhidar Batsov	2016-03-28
\|
*	Break up the manual into several documents	Bozhidar Batsov	2016-03-28
\|
*	Update the name of the indentation page's source	Bozhidar Batsov	2016-03-28
\|
*	Introduce the first draft of an online manual	Bozhidar Batsov	2016-03-28
	It's based on mkdocs and is hosted at readthedocs.org.