What about if you run `make docker_serve`. There's a target `generatate_api` that needs to be run.
Kent.
________________________________________
From: Devel on behalf of Axel Heider
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
