gdb/ChangeLog
2018-03-31  Jan Kratochvil  <jan.kratochvil@redhat.com>

	* doc/Makefile.in (TEXI2DVI): Add $(SET_TEXINPUTS).

diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in
index 0323bc4ecb..fa745b3542 100644
--- a/gdb/doc/Makefile.in
+++ b/gdb/doc/Makefile.in
@@ -63,7 +63,7 @@ MAKEHTMLFLAGS =
 TEXI2ROFF=texi2roff
 
 # where to find texi2dvi, ditto
-TEXI2DVI=texi2dvi
+TEXI2DVI=$(SET_TEXINPUTS) texi2dvi
 
 # Package to install the docs under
 PACKAGE = @PACKAGE@
-- 
2.17.0.rc1