remove unneded script

2023-10-19 10:55:10 +02:00 · 2023-10-19 10:55:10 +02:00 · 9225c03547
commit 9225c03547
parent b1925a752f
1 changed files with 0 additions and 9 deletions
--- a/.ci/compile_doc.sh
+++ b/.ci/compile_doc.sh
@ -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
-