diff options
Diffstat (limited to 'debian/patches/0010-Fix-reproducibility-of-PDF-documents-in-yosys-doc.patch')
-rw-r--r-- | debian/patches/0010-Fix-reproducibility-of-PDF-documents-in-yosys-doc.patch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/patches/0010-Fix-reproducibility-of-PDF-documents-in-yosys-doc.patch b/debian/patches/0010-Fix-reproducibility-of-PDF-documents-in-yosys-doc.patch index 87082429..0eebf558 100644 --- a/debian/patches/0010-Fix-reproducibility-of-PDF-documents-in-yosys-doc.patch +++ b/debian/patches/0010-Fix-reproducibility-of-PDF-documents-in-yosys-doc.patch @@ -11,10 +11,10 @@ Subject: Fix reproducibility of PDF documents in yosys-doc 5 files changed, 21 insertions(+), 8 deletions(-) diff --git a/Makefile b/Makefile -index 8979641..aa66a54 100644 +index d95e368..4719844 100644 --- a/Makefile +++ b/Makefile -@@ -463,9 +463,9 @@ update-manual: $(TARGETS) $(EXTRA_TARGETS) +@@ -632,9 +632,9 @@ update-manual: $(TARGETS) $(EXTRA_TARGETS) cd manual && ../yosys -p 'help -write-tex-command-reference-manual' manual: $(TARGETS) $(EXTRA_TARGETS) |