(manual): Fix TEXINPUTS

diff --git a/doc/Makefile.am b/doc/Makefile.am
index d2fed00591c0fdeed01a2d7fb41ef8ddee38304e..ee2f4127227ca036a6cc87fcc3af05b84d5d7264 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -79,7 +79,7 @@ TEXI2DVI=texi2dvi -t '@set $(RENDITION)' -E
 # Usual value is:
 # /usr/share/texmf/pdftex/plain/misc:/usr/share/texmf/pdftex/config
 manual:
-       TEXINPUTS=$(srcdir):$(top_srcdir)/config:$(TEXINPUTS) \
+       TEXINPUTS=$(srcdir):$(top_srcdir)/build-tex:$(TEXINPUTS) \
         MAKEINFO="$(MAKEINFO) $(MAKEINFOFLAGS)" \
         TEXI2DVI="$(TEXI2DVI) -t @finalout" \
        $(GENDOCS) tar 'GNU tar manual'