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 aa77fe92..33bbedc3 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 13b19ce..e7a9de1 100644 +index 0205d18..6f8c067 100644 --- a/Makefile +++ b/Makefile -@@ -638,9 +638,9 @@ update-manual: $(TARGETS) $(EXTRA_TARGETS) +@@ -651,9 +651,9 @@ update-manual: $(TARGETS) $(EXTRA_TARGETS) cd manual && ../yosys -p 'help -write-tex-command-reference-manual' manual: $(TARGETS) $(EXTRA_TARGETS) |