What about if you run `make docker_serve`. There's a target `generatate_api` that needs to be run.

Kent.

________________________________________ From: Devel devel-bounces@sel4.systems on behalf of Axel Heider axelheider@gmx.de Sent: Tuesday, September 18, 2018 12:14 AM To: devel@sel4.systems Subject: [seL4] Building/Running https://github.com/SEL4PROJ/docs with docker

Hi,

I'm trying to build and run https://github.com/SEL4PROJ/docs with docker. Following the instrucitons:

git clone https://github.com/SEL4PROJ/docs cd docs git submodule init git submodule update docker run --network=host -v $PWD:/host -w /host -it ruby bash -c 'bundle install && bundle exec jekyll serve'

things fails with:

... Bundle complete! 8 Gemfile dependencies, 29 gems now installed. Bundled gems are installed into `/usr/local/bundle` Configuration file: /host/_config.yml Source: /host Destination: /host/_site Incremental build: disabled. Enable with --incremental Generating... Liquid Exception: No such file or directory @ rb_sysopen - /host/_repos/sel4/manual/generated_markdown/GeneralSystemCalls.md in ApiDoc.md jekyll 3.6.2 | Error: No such file or directory @ rb_sysopen - /host/_repos/sel4/manual/generated_markdown/GeneralSystemCalls.md

Any hint what's failing here? I don't even see a folder "_repo", but I assume the build should create one?

Thanks, Axel

_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel