add downloading additional repos

Dockerfile

@@ -6,6 +6,7 @@ RUN set -e -x ;\
     apt -y update ;\
     apt -y install \
         make \
+        git \
         python3 \
         latexmk python3-sphinx texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended; \
     apt -y autoremove ;\

Makefile

@@ -1,9 +1,15 @@
-html:
+html: download
 	$(MAKE) -C docs html
 
-pdf:
+pdf: download
 	$(MAKE) -C docs latexpdf
 
 clean:
 	$(MAKE) -C docs clean
 	rm -rf docs/build
+
+download:
+	@if [ ! -d docs/source/mcy ]; then git clone https://github.com/yosyshq/mcy docs/source/mcy; fi
+	@cd docs/source/mcy && git pull
+	@if [ ! -d docs/source/SymbiYosys ]; then git clone https://github.com/yosyshq/SymbiYosys docs/source/SymbiYosys; fi
+	@cd docs/source/SymbiYosys && git pull