Build docs in Docker and CI.

1 files changed, 6 insertions, 3 deletions

diff --git a/Dockerfile-debian-10-sqlite b/Dockerfile-debian-10-sqlite
index 7899731f..8a409093 100644
--- a/Dockerfile-debian-10-sqlite
+++ b/Dockerfile-debian-10-sqlite
@@ -12,13 +12,13 @@
 #
 # To build this Docker image, run:
 #
-#   docker build -t mediagoblin-python3 - < Dockerfile-debian-python3-sqlite
+#   docker build -t mediagoblin - < Dockerfile-debian-10-sqlite
 #
 # The "- < Dockerfile" format advises Docker not to include the current
 # directory as build context. Alternatively the following provides build
 # context:
 #
-#   docker build -t mediagoblin-python3 -f Dockerfile-debian-python3-sqlite .
+#   docker build -t mediagoblin -f Dockerfile-debian-10-sqlite .
 #
 # Before running the image you first need to first assign the "mediagoblin" and
 # "user_dev" directories to an artificial group (1024) on the host that is
@@ -30,7 +30,7 @@
 #
 # Then you can run the image with the upstream MediaGoblin code:
 #
-#   docker run --interactive --tty --publish 6543:6543 mediagoblin-python3
+#   docker run --interactive --tty --publish 6543:6543 mediagoblin
 #
 # Or you can run with your local "mediagoblin" and "user_dev" directories
 # bind-mounted into the container. This provides automatic code reloading and
@@ -175,6 +175,9 @@ RUN ./bin/pip install py3exiv2
 # Run the tests.
 RUN ./bin/python -m pytest -rs ./mediagoblin/tests --boxed
 
+# Build the documentation.
+RUN cd docs && make html
+
 # Only safe if being run on a clean git checkout. Otherwise you may have already
 # customised mediagoblin.ini to already install these.
 RUN echo '[[mediagoblin.media_types.audio]]' >> mediagoblin.ini