From ed15504d27968fc5386de737b2fe5580d6f41261 Mon Sep 17 00:00:00 2001 From: Benjamin Hackl Date: Thu, 3 Dec 2020 11:56:52 +0100 Subject: [PATCH] Post-release update for docker readme (#815) * exclude .git directory when building the docker image * update readme --- .dockerignore | 1 + docker/readme.md | 4 ++-- 2 files changed, 3 insertions(+), 2 deletions(-) create mode 100644 .dockerignore diff --git a/.dockerignore b/.dockerignore new file mode 100644 index 0000000000..6b8710a711 --- /dev/null +++ b/.dockerignore @@ -0,0 +1 @@ +.git diff --git a/docker/readme.md b/docker/readme.md index fe7125a45f..68f8d182f9 100644 --- a/docker/readme.md +++ b/docker/readme.md @@ -3,8 +3,8 @@ - **Getting help:** [Manim Documentation](https://docs.manim.community) and [further helpful resources](https://manim.community) # Supported tags -- `v0.1.0`, `latest` -- the latest released version -- `stable` -- a more recent version corresponding to [the stable branch](https://github.com/ManimCommunity/manim/tree/stable) +- `v0.1.1`, `stable`, `latest` -- the latest released version +- `v0.1.0` - `experimental` -- the most recent version corresponding to [the master branch](https://github.com/ManimCommunity/manim) # What is Manim?