[pitivi] build: Remove hotdoc module

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

commit 1887c46baf69a82532be146d71026368630cc5f1
Author: Sokratis Tzifkas <stzifkas gapps auth gr>
Date:   Fri Mar 29 20:48:27 2019 +0000

    build: Remove hotdoc module
    
    Fixes #2302

 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 47027eaf..542c699b 100755
--- a/build/flatpak/pitivi-flatpak
+++ b/build/flatpak/pitivi-flatpak
@@ -637,7 +637,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 = "git_pep8_commit_hook git-pylint-commit-hook hotdoc pre-commit pylint"
+        pip_modules = "git_pep8_commit_hook git-pylint-commit-hook pre-commit pylint"
         Console.message(
             "Installing development tools in the Python virtual env: %s", pip_modules)
         subprocess.check_call(