[pitivi] flatpak: Add hotdoc to the dev env

[Alexandru Băluț <alexbalut src gnome org>]

commit 2afb9b3e741a43a74e754079e085356b1018584b
Author: Alexandru Băluț <alexandru balut gmail com>
Date:   Thu Sep 6 01:34:51 2018 +0200

    flatpak: Add hotdoc to the dev env

 build/flatpak/pitivi-flatpak | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/build/flatpak/pitivi-flatpak b/build/flatpak/pitivi-flatpak
index 4444b828..22525b11 100755
--- a/build/flatpak/pitivi-flatpak
+++ b/build/flatpak/pitivi-flatpak
@@ -613,7 +613,7 @@ class PitiviFlatpak:  # pylint: disable=too-many-instance-attributes
             venv.create(venv_path, with_pip=True)
 
         activate_script = os.path.join(venv_path, "bin", "activate")
-        pip_modules = "pre-commit git-pylint-commit-hook git_pep8_commit_hook pylint"
+        pip_modules = "git_pep8_commit_hook git-pylint-commit-hook hotdoc pre-commit pylint"
         Console.message(
             "Installing development tools in the Python virtual env: %s", pip_modules)
         subprocess.check_call(