From 2974bf7b4edadf10025d2bd1627c08507e9d1d9c Mon Sep 17 00:00:00 2001
From: Rahix <rahix@rahix.de>
Date: Tue, 9 Jul 2019 23:05:41 +0200
Subject: [PATCH] ci: Remove hawkmoth dependency from docs

---
 .gitlab-ci.yml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 321cdc92..38e0df98 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -19,8 +19,6 @@ pages:
         - apt update -qq
         - apt install -y -qq python3-pip git clang libclang-dev llvm
         - pip3 install sphinx sphinx_rtd_theme clang
-        - git clone https://github.com/jnikula/hawkmoth.git
-        - (cd hawkmoth; python3 setup.py install)
     script:
         - export LD_LIBRARY_PATH=$(llvm-config --libdir)
         - echo $LD_LIBRARY_PATH
-- 
GitLab