diff options
Diffstat (limited to 'texinfo/util')
| -rw-r--r-- | texinfo/util/Makefile.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/texinfo/util/Makefile.in b/texinfo/util/Makefile.in index 5927d4ec423..f84608e16e7 100644 --- a/texinfo/util/Makefile.in +++ b/texinfo/util/Makefile.in @@ -219,6 +219,10 @@ distdir: $(DISTFILES) || ln $$d/$$file $(distdir)/$$file 2> /dev/null \ || cp -p $$d/$$file $(distdir)/$$file; \ done +install-info.o: install-info.c ../lib/system.h ../config.h \ + ../lib/getopt.h +texindex.o: texindex.c ../lib/system.h ../config.h ../lib/getopt.h + info: dvi: check: all |