This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH] Add in docdir support for .dvi files. - make_dvi.patch[1/1]


For what it is worth, there were two extra lines in the hunk below from my patch, "-$(INSRCDIR)cp -p $@ $(docdir)" that should not have been included with this patch. Think of them as a preview of my yet unsubmitted one to fix PR12744 :)

+$(docobjdir)/%.dvi: %.texi stmp-docobjdir
+	$(TEXI2DVI) -I $(docdir) -I $(docdir)/include -o $@ $<
+	-$(INSRCDIR)cp -p $@ $(docdir)
+
+# Duplicate entry to handle renaming of gccinstall.dvi
+$(docobjdir)/gccinstall.dvi: $(TEXI_GCCINSTALL_FILES) stmp-docobjdir
+	$(TEXI2DVI) -I $(docdir) -I $(docdir)/include -o $@ $<
+	-$(INSRCDIR)cp -p $@ $(docdir)

I re-bootstrapped and ran make dvi without those lines on i686-pc-cygwin. Unsurprisingly, the only functional difference without them is that the .dvi files were (correctly) not copied back into the source directory.

Kelley Cook


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]