diff options
author | Jim Meyering <meyering@fb.com> | 2014-12-10 06:52:17 -0800 |
---|---|---|
committer | Jim Meyering <meyering@fb.com> | 2014-12-20 16:03:40 -0800 |
commit | 6783c9f367a502ee973ccb8ed03b179ee61bb816 (patch) | |
tree | d6d9f0cf4cda4452d246ef7891cec41ee110bc27 /doc | |
parent | be2d5c0d33d507818d3cb0d3853c61c321a05464 (diff) | |
download | sed-6783c9f367a502ee973ccb8ed03b179ee61bb816.tar.gz |
build: build-aux/texi2dvi: remove file
* build-aux/texi2dvi: Remove file. It was out of date and could
no longer parse our .texi files.
* Makefile.am (EXTRA_DIST): Don't list it here.
* cfg.mk: Remove an exemption for that file.
* doc/Makefile.am (TEXI2DVI): Remove definition.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile.am | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index cfba12f..a1a814c 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -4,7 +4,6 @@ sed_TEXINFOS = config.texi version.texi dist_man_MANS = sed.1 dist_noinst_DATA = sed.x sed-in.texi s-texi dist_noinst_SCRIPTS = groupify.sed -TEXI2DVI = $(top_srcdir)/build-aux/texi2dvi --expand HELP2MAN = $(top_srcdir)/build-aux/help2man SED = $(top_builddir)/sed/sed |