Adding back missing manual.

HISTORY.rst

@@ -9,6 +9,7 @@ HEAD (unreleased)
 End-User Summary
 ================
 
+- Adding back missing manual.
 - Fixing undefined variable bug.
 - Fixing result rows not colored anymore.
 - Fixing double CSS import.
@@ -18,6 +19,7 @@ Full Change List
 
 - Fixing problem with ``PROJECTROLES_ADMIN_OWNER`` being set to ``admin`` default but the system user being ``root`` in the prebuilt databases.
   The value now defaults to ``root``.
+- Adding back missing manual in Docker image.
 - Fixing problem with "stopwords" corpus of ``nltk`` not being present.
   This is now downloaded when building the Docker image.
 - Fixing undefined variable bug.

docker/Dockerfile

@@ -33,6 +33,10 @@ RUN cd /usr/src/app && \
     pip install --no-cache-dir -r requirements/local.txt && \
     python -m nltk.downloader stopwords
 
+# Build sphinx manual.
+RUN cd /usr/src/app/docs_manual && \
+    make clean html
+
 # Install miniconda3 and setup environment for annotation, required for Kiosk.
 RUN ["/bin/bash","-c", "cd /tmp && \
         wget https://repo.anaconda.com/miniconda/Miniconda3-latest-Linux-x86_64.sh && \