diff options
author | Ruben Undheim <ruben.undheim@gmail.com> | 2019-10-18 20:01:35 +0000 |
---|---|---|
committer | Ruben Undheim <ruben.undheim@gmail.com> | 2019-10-18 20:01:35 +0000 |
commit | de8796aa3a94b51ea6bbb5051215f63152671a72 (patch) | |
tree | 8bacf2c0c1a78c0d4f3669b1a4f3abb80fcbbd93 /debian/patches/0010-Fix-reproducibility-of-PDF-documents-in-yosys-doc.patch | |
parent | b9e09c69c0570486f3f8a73499049b636a4b4c34 (diff) |
Changelog entry and refresh 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 33bbedc3..2f16462a 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 0205d18..6f8c067 100644 +index 065f4f2..8608472 100644 --- a/Makefile +++ b/Makefile -@@ -651,9 +651,9 @@ update-manual: $(TARGETS) $(EXTRA_TARGETS) +@@ -766,9 +766,9 @@ update-manual: $(TARGETS) $(EXTRA_TARGETS) cd manual && ../yosys -p 'help -write-tex-command-reference-manual' manual: $(TARGETS) $(EXTRA_TARGETS) |