Description: Avoid pdflatex rejecting input due to too high resolution.
 Set randomly picked size and dpi when generating dot graphs, to avoid
 error from pdflatex when building documentation.  I am not sure which
 size and dpi make sense, nor how to decide which value are best.
Author: Petter Reinholdtsen <pere@debian.org>
Last-Update: 2026-04-16
Bug-Debian: https://bugs.debian.org/?
Forwarded: no
Reviewed-By: Petter Reinholdtsen <pere@debian.org>

--- yosys-0.52.orig/docs/source/_images/Makefile
+++ yosys-0.52/docs/source/_images/Makefile
@@ -33,7 +33,7 @@ TEX_FILES := $(shell find . -name *.tex)
 all_tex: $(TEX_FILES:.tex=.pdf) $(TEX_FILES:.tex=.svg)
 
 %.pdf: %.dot
-	$(FAKETIME) dot -Tpdf -o $@ $<
+	$(FAKETIME) dot -Tpdf "-Gsize=9,15!" -Gdpi=72 -o $@ $<
 
 %.pdf: %.tex
 	cd $(@D) && $(FAKETIME) pdflatex $(<F) --interaction=nonstopmode