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 0eebf558..f5e4236c 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 d95e368..4719844 100644 +index ebefd2a..1fdb05f 100644 --- a/Makefile +++ b/Makefile -@@ -632,9 +632,9 @@ update-manual: $(TARGETS) $(EXTRA_TARGETS) +@@ -638,9 +638,9 @@ update-manual: $(TARGETS) $(EXTRA_TARGETS) cd manual && ../yosys -p 'help -write-tex-command-reference-manual' manual: $(TARGETS) $(EXTRA_TARGETS) |