diff --git a/symbiyosys.Dockerfile b/symbiyosys.Dockerfile index f3c66b8..6c9a9f1 100644 --- a/symbiyosys.Dockerfile +++ b/symbiyosys.Dockerfile @@ -33,7 +33,7 @@ RUN apt-get update -qq && \ make -j$(nproc) PREFIX=/opt/yosys && \ make install PREFIX=/opt/yosys && \ mkdir /opt/yosys/doc && \ - curl https://github.com/YosysHQ/yosys-manual-build/releases/download/manual/manual.pdf -o /opt/yosys/doc/yosys_manual.pdf + curl https://yosyshq.readthedocs.io/_/downloads/yosys/en/latest/pdf/ -o /opt/yosys/doc/yosys_manual.pdf # SymbiYosys, Solvers