1
0
Fork 0
Commit Graph

9 Commits

Author SHA1 Message Date
Markus Pfeiffer 422fd6057e Fix shebangs in scripts so that they work on non-linuxey systems (#9254) 2019-06-13 19:42:43 +02:00
Frank Celler 53978b6b93
Feature/semantic versioning (#6265) 2018-08-27 23:25:21 +02:00
Wilfried Goesgens 17a8049e50 enable scripts to force a gitbook version that is currently already installed, so it doesn't fetch stuff from the 'net. (#2803) 2017-07-18 21:44:56 +02:00
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
Michael Hackstein 9edb884bc8 Feature/planning issue 188 (#2547)
* add warmup documentation - #188

* warn when relinking build directory

* add warmup documentation - #188

* warn when relinking build directory

* Renamed warmup to loadIndexesInMemory which is a better name for the current implementation of this feature.

* Adapted WebUI to state 'load indexes in memory' instead of 'warmup'

* Added loadIndexesInMemory documentation.

* Renamed loadIndexesInMemory => loadIndexesIntoMemory
2017-06-12 18:54:45 +02:00
Wilfried Goesgens 07ec66ad97 fix directory to copy 2017-06-06 15:44:00 +02:00
Wilfried Goesgens a4fbbd62a4 add a version switch so the appropriate pre-loaded gitbook modules can be used in the docker container. 2017-06-02 17:56:38 +02:00
Wilfried Goesgens 2b310fd64d integrate caching of plugins 2017-03-23 16:31:21 +01:00
Wilfried Goesgens 71b31ba293 fix filename 2017-03-19 19:30:00 +01:00