diff make-dist @ 110786:9a3ce1aa9d45

Minor doc/*/Makefile.in change. * doc/emacs/Makefile.in ($(infodir)): Add parallel build workaround. * doc/lispintro/Makefile.in ($(infodir)): Add parallel build workaround. * doc/lispref/Makefile.in ($(infodir)): Add parallel build workaround. * doc/misc/Makefile.in ($(infodir)): Add parallel build workaround.
author Glenn Morris <rgm@gnu.org>
date Tue, 05 Oct 2010 21:20:46 -0700
parents 8d976ea08d41
children 3869cf7d1e82
line wrap: on
line diff