From e90171c4f999d8bb61ff11592afdf053cd6ee239 Mon Sep 17 00:00:00 2001 From: Gonzalo Brito Gadeschi Date: Wed, 10 Aug 2022 12:09:21 -0700 Subject: [PATCH] Fix site build scripts --- docs/Dockerfile | 3 ++- docs/serve | 7 ++++++- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/docs/Dockerfile b/docs/Dockerfile index 972e9c7fe5..e64302f147 100644 --- a/docs/Dockerfile +++ b/docs/Dockerfile @@ -1,3 +1,4 @@ FROM jekyll/jekyll:4.0 COPY Gemfile /Gemfile -RUN /bin/bash -l -c "bundle install" \ No newline at end of file +RUN /bin/bash -l -c "bundle install" +RUN /bin/bash -l -c "bundle add webrick" \ No newline at end of file diff --git a/docs/serve b/docs/serve index ff9c5cbb6a..0a5f5f5dd9 100755 --- a/docs/serve +++ b/docs/serve @@ -2,8 +2,13 @@ set -ex +mkdir -p build/docs +( + cd build/docs + cp ../../docs/Gemfile . + docker build -f ../../docs/Dockerfile -t libcudacxx:docs . +) ( cd docs - docker build -f Dockerfile -t libcudacxx:docs . docker run --rm -p 4000:4000 -v $(pwd):/srv/jekyll -u $(id -u):$(id -g) -it libcudacxx:docs bash -c "jekyll serve --watch --host 0.0.0.0" )