From 0cfec66ecb2c10172b6f6e1accf040a589bc04b6 Mon Sep 17 00:00:00 2001
From: tmeissner <programming@goodcleanfun.de>
Date: Thu, 23 Feb 2023 12:29:11 +0100
Subject: [PATCH] Update link to Yosys docs

---
 symbiyosys.Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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