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  <egall@gwmail.gwu.edu>

	* Makefile.def: Handle install-dvi target.
	* Makefile.tpl: Likewise.
	* Makefile.in: Regenerate.

gcc/ChangeLog:

2016-10-06  Eric Gallager  <egall@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: Handlie install-dvi target.
	* configure: Regenerate.

libiberty/ChangeLog:

2016-10-06  Eric Gallager  <egall@gwmail.gwu.edu>

	* Makefile.in: Handle dvidir and install-dvi target.
	* functions.texi: Regenerate.