Wilfried Goesgens 2646ea2ad1 Migrate documentation build process to pure bash. (#2619) ... * Migrate documentation build process to pure bash. - the old makefile contained multiple shell snippets which were hard to maintain - Convert it from Makefile to pure bash build.sh - Fix error reporting in companion python scripts - adjust README_maintainers.md to the new script - provide wrapper GNUMakefile for automatic jobs for compatibility - use the new shellscript inside the docker wrapper - use the systems available processors inside the docker container if we build arangod - strive to build enterprise binaries, since some examples require it. * fix wrapper makefile		2017-06-21 14:34:17 +02:00
..
allExamples.sh	make examples is history now.	2016-02-10 11:21:08 +01:00
codeBlockReader.py	Docs: remove remaining mdpp bits. Copying files is still needed for examples and docublocks	2017-05-05 10:22:15 +02:00
deprecated.py	Rename Users documentation to Manual	2016-05-24 16:09:21 +02:00
exampleHeader.js	one more place to rename the include	2017-05-08 11:14:53 +02:00
generateMdFiles.py	Migrate documentation build process to pure bash. (#2619)	2017-06-21 14:34:17 +02:00
html2html.sh	fixed bash error during documentation generation on picky Ubuntu	2013-02-23 00:06:51 +01:00
man.sed	reduce variance in generated man pages	2016-02-25 13:48:50 +01:00
setup-arangosh.js	Move template files into the general template directory.	2016-05-23 15:46:55 +02:00