On Thu, Oct 6, 2016 at 10:41 AM Eric Gallager <eg...@gwmail.gwu.edu> wrote: > > Currently the build machinery handles install-pdf and install-html > targets, but no install-dvi target. This patch is a step towards > fixing that. Note that I have only tested with > --enable-languages=c,c++,lto,objc,obj-c++. Thus, target hooks will > probably also have to be added for the languages I skipped. > Also, please note that this patch applies on top of: > https://gcc.gnu.org/ml/gcc-patches/2016-10/msg00370.html > > ChangeLog: > > 2016-10-06 Eric Gallager <eg...@gwmail.gwu.edu> > > * Makefile.def: Handle install-dvi target. > * Makefile.tpl: Likewise. > * Makefile.in: Regenerate. > > gcc/ChangeLog: > > 2016-10-06 Eric Gallager <eg...@gwmail.gwu.edu> > > * Makefile.in: Handle dvidir and install-dvi target. > * ./[c|cp|lto|objc|objcp]/Make-lang.in: Add dummy install-dvi > target hooks. > * configure.ac: Handle install-dvi target. > * configure: Regenerate. > > libiberty/ChangeLog: > > 2016-10-06 Eric Gallager <eg...@gwmail.gwu.edu> > > * Makefile.in: Handle dvidir and install-dvi target. > * functions.texi: Regenerate.
Ping. The prerequisite patch that I linked to previously has gone in now. I'm not sure if this specific patch still applies, though. Also note that I've opened a bug to track this issue: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102663