diff options
| author | Igor Pashev <pashev.igor@gmail.com> | 2019-11-19 17:35:47 +0300 |
|---|---|---|
| committer | Igor Pashev <pashev.igor@gmail.com> | 2019-11-19 17:35:47 +0300 |
| commit | 03bebac19e6fef19299d7326d3ee41f8a7dd1316 (patch) | |
| tree | bb413d22ada331790f08b7b9a592e5ab95cd8918 /debian/rules.d/binary-libgccjit.mk | |
| parent | 94a19f31b81e9e7e295414fe2ad2302e0db25a08 (diff) | |
| parent | 8f6c4b0033c72f8ac14694c419a99458339dd6a9 (diff) | |
| download | gcc-9-03bebac19e6fef19299d7326d3ee41f8a7dd1316.tar.gz | |
Merge tag 'debian/9.2.1-19'
Diffstat (limited to 'debian/rules.d/binary-libgccjit.mk')
| -rw-r--r-- | debian/rules.d/binary-libgccjit.mk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/rules.d/binary-libgccjit.mk b/debian/rules.d/binary-libgccjit.mk index c5839e7..df8f821 100644 --- a/debian/rules.d/binary-libgccjit.mk +++ b/debian/rules.d/binary-libgccjit.mk @@ -81,6 +81,8 @@ $(binary_stamp)-libgccjitdoc: $(install_jit_stamp) $(dh_compat2) dh_movefiles -p$(p_jitdoc) \ $(PF)/share/info/libgccjit* + cp -p $(srcdir)/gcc/jit/docs/_build/texinfo/*.png \ + $(d_jitdoc)/$(PF)/share/info/. debian/dh_doclink -p$(p_jitdoc) $(p_base) echo $(p_jitdoc) >> debian/indep_binaries |