From b46b4800dac41ac97514436f0dcb653e7ad07732 Mon Sep 17 00:00:00 2001
From: tmeissner <programming@goodcleanfun.de>
Date: Thu, 11 Jun 2020 22:40:20 +0200
Subject: [PATCH] Add docs for Symbiyosys, Yosys & GHDL to their directories

---
 ghdl-formal.Dockerfile | 4 +++-
 symbiyosys.Dockerfile  | 8 ++++++--
 2 files changed, 9 insertions(+), 3 deletions(-)

diff --git a/ghdl-formal.Dockerfile b/ghdl-formal.Dockerfile
index 4828bb6..0a17d63 100644
--- a/ghdl-formal.Dockerfile
+++ b/ghdl-formal.Dockerfile
@@ -16,7 +16,9 @@ RUN apt-get update -qq && \
     curl https://codeload.github.com/ghdl/ghdl/tar.gz/master | tar xzf - --strip-components=1 && \
     ./configure --enable-synth --prefix=/opt/ghdl --with-llvm-config=llvm-config-$LLVM_VER && \
     make && \
-    make install
+    make install && \
+    mkdir /opt/ghdl/doc && \
+    curl https://ghdl.readthedocs.io/_/downloads/en/latest/pdf/ -o /opt/ghdl/doc/ghdl_manual.pdf
 
 
 ## GHDLSYNTH-BETA ##
diff --git a/symbiyosys.Dockerfile b/symbiyosys.Dockerfile
index c182240..e2f96ca 100644
--- a/symbiyosys.Dockerfile
+++ b/symbiyosys.Dockerfile
@@ -22,6 +22,7 @@ RUN apt-get update -qq && \
     libboost-python-dev \
     libboost-filesystem-dev \
     clang \
+    curl \
     git && \
     apt-get autoclean && apt-get clean && apt-get -y autoremove && \
     update-ca-certificates && \
@@ -30,7 +31,9 @@ RUN apt-get update -qq && \
     git clone https://github.com/YosysHQ/yosys.git yosys && \
     cd yosys && \
     make -j$(nproc) PREFIX=/opt/yosys && \
-    make install PREFIX=/opt/yosys
+    make install PREFIX=/opt/yosys && \
+    mkdir /opt/yosys/doc && \
+    curl http://www.clifford.at/yosys/files/yosys_manual.pdf -o /opt/yosys/doc/yosys_manual.pdf
 
 
 # SymbiYosys, Solvers
@@ -45,7 +48,6 @@ RUN apt-get update -qq && \
     autoconf \
     gperf  \
     cmake \
-    curl \
     libgmp-dev \
     ninja-build \
     g++ \
@@ -58,6 +60,8 @@ RUN apt-get update -qq && \
     git clone https://github.com/YosysHQ/SymbiYosys.git symbiyosys && \
     cd symbiyosys && \
     make install PREFIX=/opt/symbiyosys && \
+    mkdir /opt/symbiyosys/doc && \
+    curl https://symbiyosys.readthedocs.io/_/downloads/en/latest/pdf/ -o /opt/symbiyosys/doc/symbiyosys_manual.pdf && \
     cd .. && \
     git clone https://github.com/Z3Prover/z3.git z3 && \
     cd z3 && \