diff options
| author | Ruben Undheim <ruben.undheim@gmail.com> | 2019-03-28 23:38:34 +0100 |
|---|---|---|
| committer | Ruben Undheim <ruben.undheim@gmail.com> | 2019-03-28 23:38:34 +0100 |
| commit | ee9b525cc03a699f86b19da560cee88af624facf (patch) | |
| tree | aea494b2f2d733f5306f6587a1bd6fa66bdafab4 /debian/patches/0010-Fix-reproducibility-of-PDF-documents-in-yosys-doc.patch | |
| parent | ba2a8c73889c487be2400372260e18e8a82877f6 (diff) | |
Refreshed patches
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) |