diff make-dist @ 84331:69a5b7649f84

(mansrcdir): New variable. (SUBDIR_MAKEFILES): Update for new doc/ directory layout. (man/Makefile, lispref/Makefile, lispintro/Makefile): Rename and update these targets for new doc/ directory layout. (doc/misc/Makefile): New target. (install-arch-indep): Use mansrcdir for new location of manpages. (mostlyclean, clean, distclean, maintainer-clean, unlock) (relock, info, dvi): Update targets for new doc/ directory layout.
author Glenn Morris <rgm@gnu.org>
date Thu, 06 Sep 2007 05:11:36 +0000
parents 4146a20f4623
children 786ae2b7b452 b83d0dadb2a7
line wrap: on
line diff