diff options
Diffstat (limited to 'gnu/usr.bin/texinfo/Makefile.in')
| -rw-r--r-- | gnu/usr.bin/texinfo/Makefile.in | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gnu/usr.bin/texinfo/Makefile.in b/gnu/usr.bin/texinfo/Makefile.in index fd648031d81..b19ba6381a9 100644 --- a/gnu/usr.bin/texinfo/Makefile.in +++ b/gnu/usr.bin/texinfo/Makefile.in @@ -74,7 +74,7 @@ MDEFINES = bindir='$(bindir)' mandir='$(mandir)' manext='$(manext)' \ prefix='$(prefix)' binprefix='$(binprefix)' \ manprefix='$(manprefix)' infodir='$(infodir)' CFLAGS='$(CFLAGS)' \ CC='$(CC)' ALLOCA='$(ALLOCA)' LDFLAGS='$(LDFLAGS)' \ - DEFAULT_INFOPATH='$(DEFAULT_INFOPATH)' + DEFAULT_INFOPATH='$(DEFAULT_INFOPATH)' INSTALL_MAN='$(INSTALL_MAN)' all: sub-all texinfo @@ -133,9 +133,11 @@ texclean: realclean: distclean -texinfo: sub-all +texinfo: makeinfo/makeinfo texinfo.texi ./makeinfo/makeinfo -I$(srcdir) texinfo.texi +makeinfo/makeinfo: sub-all + texinfo.dvi: PATH="$(srcdir)/util:$${PATH}" TEXINPUTS="$(srcdir):$(common):$${TEXINPUTS}" texi2dvi $(srcdir)/texinfo.texi |