diff make-dist @ 110884:78443a320c9b

* make-dist: No more doc/emacs/*.texi.in.
author Glenn Morris <rgm@gnu.org>
date Sat, 09 Oct 2010 11:46:57 -0700
parents f537cb2035e9
children 2316b868d5be
line wrap: on
line diff
--- a/make-dist	Sat Oct 09 11:39:01 2010 -0700
+++ b/make-dist	Sat Oct 09 11:46:57 2010 -0700
@@ -669,7 +669,7 @@
 # FIXME ? Why including *.aux etc?
 echo "Making links to \`doc/emacs'"
 (cd doc/emacs
- ln *.texi *.texi.in *.aux *.fns *.kys *.vrs ../../${tempdir}/doc/emacs
+ ln *.texi *.aux *.fns *.kys *.vrs ../../${tempdir}/doc/emacs
  ln makefile.w32-in ../../${tempdir}/doc/emacs
  test -f Makefile.in && ln Makefile.in ../../${tempdir}/doc/emacs
  ln ChangeLog ../../${tempdir}/doc/emacs