4 Commits

Author	SHA1	Message	Date
Ivan Blinkov	81b757bb05	CLICKHOUSE-3858: get rid of more js workarounds for old docs build system + some fixes	2018-07-25 12:19:50 +03:00
Ivan Blinkov	3b2c3fd73f	CLICKHOUSE-3858: get rid of js workarounds for old docs build system	2018-07-25 11:46:02 +03:00
Ivan Blinkov	7fbabbdee6	Move special links to the bottom of nav and slightly highlight them	2018-07-20 11:23:43 +03:00
Ivan Blinkov	ba1393fbbd	Refactoring of documentation infrastructure to get rid of a lots of copypaste (#2616) ... * Clean up docs folder by moving all build-related tools to subdirectory * Remove unused script * Remove unused script #2 * Some refactoring in concatenate.py * Rewrite build.sh in Python - Get rid of half of copypaste in yml files - Draft of redirects support * Actually include redirects.conf * copy conf too * Keep H1 the same in single page docs * fix some paths * Keep only pages index in yaml * Workaround for missing jQuery * Delay docs init	2018-07-09 22:59:07 +03:00