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/patches/gm2-install-man.diff | |
parent | 94a19f31b81e9e7e295414fe2ad2302e0db25a08 (diff) | |
parent | 8f6c4b0033c72f8ac14694c419a99458339dd6a9 (diff) | |
download | gcc-9-03bebac19e6fef19299d7326d3ee41f8a7dd1316.tar.gz |
Merge tag 'debian/9.2.1-19'
Diffstat (limited to 'debian/patches/gm2-install-man.diff')
-rw-r--r-- | debian/patches/gm2-install-man.diff | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/debian/patches/gm2-install-man.diff b/debian/patches/gm2-install-man.diff new file mode 100644 index 0000000..4cad7bb --- /dev/null +++ b/debian/patches/gm2-install-man.diff @@ -0,0 +1,21 @@ +--- a/src/gcc/gm2/Make-lang.in ++++ b/src/gcc/gm2/Make-lang.in +@@ -403,15 +403,9 @@ + + gm2.install-man: $(GENERATED_MANPAGES) installdirs + -if [ -f xgm2$(exeext) ] ; then \ +- if [ -f xgm2-cross$(exeext) ] ; then \ +- rm -f $(DESTDIR)$(man1dir)/$(GM2_CROSS_NAME)$(man1ext); \ +- $(INSTALL_DATA) gm2/man/gm2.1 $(DESTDIR)$(man1dir)/$(GM2_CROSS_NAME)$(man1ext); \ +- chmod a-x $(DESTDIR)$(man1dir)/$(GM2_CROSS_NAME)$(man1ext); \ +- else \ +- rm -f $(DESTDIR)$(man1dir)/$(GM2_INSTALL_NAME)$(man1ext); \ +- $(INSTALL_DATA) gm2/man/gm2.1 $(DESTDIR)$(man1dir)/$(GM2_INSTALL_NAME)$(man1ext); \ +- chmod a-x $(DESTDIR)$(man1dir)/$(GM2_INSTALL_NAME)$(man1ext); \ +- fi; \ ++ rm -f $(DESTDIR)$(man1dir)/$(GM2_INSTALL_NAME)$(man1ext); \ ++ $(INSTALL_DATA) gm2/man/gm2.1 $(DESTDIR)$(man1dir)/$(GM2_INSTALL_NAME)$(man1ext); \ ++ chmod a-x $(DESTDIR)$(man1dir)/$(GM2_INSTALL_NAME)$(man1ext); \ + else true; fi + + gm2.install-normal: gm2.install-common gm2.install-info gm2.install-man |