changeset 6071:83c6f15698be

Install DOC* in docdir.
author Karl Heuer <kwzh@gnu.org>
date Thu, 24 Feb 1994 21:18:49 +0000
parents 8784f8ebbb6b
children 8af8f6b469e1
files Makefile.in
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/Makefile.in	Thu Feb 24 20:41:49 1994 +0000
+++ b/Makefile.in	Thu Feb 24 21:18:49 1994 +0000
@@ -296,10 +296,10 @@
 		 rm -f  $${subdir}/*~ ; \
 	       done) ; \
 	 done
-	if [ `(cd ./etc; /bin/pwd)` != `(cd ${srcdir}/etc; /bin/pwd)` ]; \
+	if [ `(cd ./etc; /bin/pwd)` != `(cd ${docdir}; /bin/pwd)` ]; \
 	then \
 	   echo "Copying etc/DOC* ..." ; \
-	   (cd etc; tar -cf - DOC*)|(cd ${etcdir}; umask 0; tar -xvf - ); \
+	   (cd etc; tar -cf - DOC*)|(cd ${docdir}; umask 0; tar -xvf - ); \
 	else true; fi
 	if [ `(cd ${srcdir}/info && /bin/pwd)` != `(cd ${infodir} && /bin/pwd)` ]; \
 	then (cd ${srcdir}/info ; \