nodiscc 8b2afee16b Revert part of #1220 ... Fixes #1177 The `url` template filter is [only supported in Mkdocs 1.0+](https://github.com/mkdocs/mkdocs/blob/master/docs/about/release-notes.md#internal-refactor-of-pages-files-and-navigation) Readthedocs.org uses Mkdocs `0.17.3 ` while `make htmldoc` fetches the [latest version from pypi](https://pypi.org/project/mkdocs/) which is `1.0.4`. Following https://github.com/shaarli/Shaarli/pull/1220, building the docs fails with https://readthedocs.org/projects/shaarli/builds/7886340/		2018-10-09 19:35:56 +02:00
..
custom_theme	Revert part of #1220	2018-10-09 19:35:56 +02:00
md	doc: server config: basic usage of robots.txt/HTML robots meta-tag/crawler control mechanisms	2018-09-09 16:21:58 +02:00