diff --git a/.ci/compile_doc.sh b/.ci/compile_doc.sh
deleted file mode 100755
index 6b32f75..0000000
--- a/.ci/compile_doc.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-set -e
-
-# set up packages to be available for latex
-mkdir -p ~/texmf/tex/latex
-ln -s build/packages ~/texmf/tex/latex/packages
-
-# generate doc
-make doc
-