diff options
Diffstat (limited to 'Build/source/texk/dvidvi/Makefile.in')
-rw-r--r-- | Build/source/texk/dvidvi/Makefile.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Build/source/texk/dvidvi/Makefile.in b/Build/source/texk/dvidvi/Makefile.in index 8ddbfab8503..40c142f4d89 100644 --- a/Build/source/texk/dvidvi/Makefile.in +++ b/Build/source/texk/dvidvi/Makefile.in @@ -389,7 +389,8 @@ am__set_b = \ b='$*';; \ esac am__DIST_COMMON = $(dist_man1_MANS) $(srcdir)/Makefile.in \ - $(srcdir)/config.h.in $(top_srcdir)/../../build-aux/compile \ + $(srcdir)/config.h.in $(top_srcdir)/../../build-aux/ar-lib \ + $(top_srcdir)/../../build-aux/compile \ $(top_srcdir)/../../build-aux/config.guess \ $(top_srcdir)/../../build-aux/config.sub \ $(top_srcdir)/../../build-aux/depcomp \ @@ -450,6 +451,7 @@ EGREP = @EGREP@ ETAGS = @ETAGS@ EXEEXT = @EXEEXT@ FGREP = @FGREP@ +FILECMD = @FILECMD@ GREP = @GREP@ INSTALL = @INSTALL@ INSTALL_DATA = @INSTALL_DATA@ |