diff options
Diffstat (limited to 'Makefile-info.patch')
| -rw-r--r-- | Makefile-info.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Makefile-info.patch b/Makefile-info.patch new file mode 100644 index 000000000000..b2cf8daf4023 --- /dev/null +++ b/Makefile-info.patch @@ -0,0 +1,11 @@ +--- gcc/Makefile.in 2014-06-25 16:33:29.000000000 +0200 ++++ gcc/Makefile.in 2020-08-16 07:42:25.100115012 +0200 +@@ -723,7 +723,7 @@ LIBCONVERT = + INSTALL_HEADERS=install-headers install-mkheaders + + # Control whether Info documentation is built and installed. +-BUILD_INFO = @BUILD_INFO@ ++BUILD_INFO = + + # Control whether manpages generated by texi2pod.pl can be rebuilt. + GENERATED_MANPAGES = @GENERATED_MANPAGES@ |