mirror of
https://git.openwrt.org/openwrt/openwrt.git
synced 2024-06-17 20:53:59 +02:00
24 lines
692 B
Diff
24 lines
692 B
Diff
--- a/gcc/Makefile.in
|
|
+++ b/gcc/Makefile.in
|
|
@@ -2847,18 +2847,10 @@ doc/gcc.info: $(TEXI_GCC_FILES)
|
|
doc/gccint.info: $(TEXI_GCCINT_FILES)
|
|
doc/cppinternals.info: $(TEXI_CPPINT_FILES)
|
|
|
|
-doc/%.info: %.texi
|
|
- if [ x$(BUILD_INFO) = xinfo ]; then \
|
|
- $(MAKEINFO) $(MAKEINFOFLAGS) -I . -I $(gcc_docdir) \
|
|
- -I $(gcc_docdir)/include -o $@ $<; \
|
|
- fi
|
|
+doc/%.info:
|
|
|
|
# Duplicate entry to handle renaming of gccinstall.info
|
|
-doc/gccinstall.info: $(TEXI_GCCINSTALL_FILES)
|
|
- if [ x$(BUILD_INFO) = xinfo ]; then \
|
|
- $(MAKEINFO) $(MAKEINFOFLAGS) -I $(gcc_docdir) \
|
|
- -I $(gcc_docdir)/include -o $@ $<; \
|
|
- fi
|
|
+doc/gccinstall.info:
|
|
|
|
doc/cpp.dvi: $(TEXI_CPP_FILES)
|
|
doc/gcc.dvi: $(TEXI_GCC_FILES)
|