diff --git a/docs/External contest formats.rst b/docs/External contest formats.rst
index de6eb7200..76a1957c8 100644
--- a/docs/External contest formats.rst
+++ b/docs/External contest formats.rst
@@ -220,7 +220,7 @@ Subsequently (in :samp:`Rule.ensure()`), we check if the last result (:samp:`Rul
Compiling
---------
-You can compile c++, latex and asymptote files using the commands :py:meth:`.compilecpp`, :py:meth:`.compilelatex`, :py:meth:`.compileasy`. Call them with the base name of the file you want to compile (e.g. :samp:`gen` if you want to compile :samp:`gen.cpp` or :samp:`statement` if you want to compile :samp:`statement.tex`). For convenience, you can use the :py:meth:`.compile` function which automatically figures out the corresponding extension.
+You can compile c++ and latex files using the commands :py:meth:`.compilecpp` and :py:meth:`.compilelatex`. Call them with the base name of the file you want to compile (e.g. :samp:`gen` if you want to compile :samp:`gen.cpp` or :samp:`statement` if you want to compile :samp:`statement.tex`). For convenience, you can use the :py:meth:`.compile` function which automatically figures out the corresponding extension.
Supplements
^^^^^^^^^^^
diff --git a/docs/Installation.rst b/docs/Installation.rst
index f2afafb1d..c945fa3e9 100644
--- a/docs/Installation.rst
+++ b/docs/Installation.rst
@@ -30,8 +30,6 @@ These are our requirements (in particular we highlight those that are not usuall
* `a2ps `_ (only for printing).
-* `asymptote `_ (for German task format; usage now deprecated)
-
* `latexmk `_ (for German task format)
* `ttf-fira-go `_ (for German task format + Hebrew)
@@ -281,7 +279,7 @@ To install CMS python dependencies on Arch Linux (again: assuming you did not us
# Optional.
# sudo pacman -S --needed python-yaml python-sphinx python-pycups \
- # asymptote texlive-core
+ # texlive-core
# Optionally install the following from AUR.
# https://aur.archlinux.org/packages/python-pypdf2/