11 Commits

Author	SHA1	Message	Date
maxkernbach	a20049e388	Doc - fix documentation build script + a few other things (#5755)	2018-07-03 18:13:17 +02:00
Wilfried Goesgens	1fe7831b82	Doc - backport script updates, fix docublocks (#5167)	2018-04-20 16:31:22 +02:00
Wilfried Goesgens	b259cc0b9d	Documentation 3.3/fix codeblock reader keep newlines (#4735) ... * fix dumping permission checks; - don't load collections if we're not allowed to read from them - don't list collections for dump if we're not allowed to read from them * adjust to new user struct code structure * fix codeblock reader - keep newlines We must keep newlines when copying the markdown blocks into the documentation; else it will destroy the structure of documents. fixes #4716	2018-03-02 11:50:23 +01:00
Simran	5cb722248b	Documentation 3.3/port unification (#4122) ... * Update CSS * Remove HEADER.html, remove traces of MDPP, verify that NODE_MODULES_DIR path exists	2017-12-21 11:33:59 +01:00
Wilfried Goesgens	fbfd3491fb	Documentation/migrate cookbook devel 32 (#3290) ... * migrate the Cookbook into the ArangoDB core repository * make cookbook links local	2017-09-20 13:40:50 +02:00
Simran Brucherseifer	5be45ce513	Docs: remove remaining mdpp bits. Copying files is still needed for examples and docublocks	2017-05-05 10:22:15 +02:00
Wilfried Goesgens	81be8b9901	rename .mdpp files to .md so the handling is easier.	2017-05-04 12:04:24 +02:00
Simran Brucherseifer	23e22f6f39	Rename Users documentation to Manual	2016-05-24 16:09:21 +02:00
Simran Brucherseifer	9645e164f6	Documentation building: also make other scripts aware of additional gitbooks	2016-05-02 20:29:47 +02:00
Wilfried Goesgens	5e5b0de5b2	Adjust directories to spider.	2016-01-12 18:23:12 +01:00
Wilfried Goesgens	8d31426eb3	Move python scripts into the scripts directory	2015-12-09 00:00:49 +01:00