1
0
Fork 0
arangodb/Documentation/Scripts
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
codeBlockReader.py
deprecated.py
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
man.sed
setup-arangosh.js