mirror of
https://github.com/openwrt/openwrt.git
synced 2024-12-27 01:11:14 +00:00
24 lines
660 B
Diff
24 lines
660 B
Diff
--- a/gcc/Makefile.in
|
|
+++ b/gcc/Makefile.in
|
|
@@ -4040,18 +4040,10 @@
|
|
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)
|