diff options
Diffstat (limited to 'Build/source/texk/dvi2tty/configure.in')
-rw-r--r-- | Build/source/texk/dvi2tty/configure.in | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/Build/source/texk/dvi2tty/configure.in b/Build/source/texk/dvi2tty/configure.in deleted file mode 100644 index 0f0a0adaf51..00000000000 --- a/Build/source/texk/dvi2tty/configure.in +++ /dev/null @@ -1,15 +0,0 @@ -dnl Public domain. -dnl Process this file with autoconf to produce a configure script. - -AC_INIT(dvi2tty.c) -AC_CONFIG_HEADERS([c-auto.h:c-auto.in], [date >stamp-auto]) - -sinclude(../kpathsea/withenable.ac) - -AC_PROG_CC -AC_PROG_INSTALL -AC_PROG_MAKE_SET -AC_PROG_LN_S - -KPSE_CONFIG_FILES([Makefile]) -AC_OUTPUT |