changeset 6033:f4dead15502f

Use docdir to initialize PATH_DOC in paths.h.
author Karl Heuer <kwzh@gnu.org>
date Tue, 22 Feb 1994 23:56:15 +0000
parents 07507709e0fe
children 5d1524e58d71
files Makefile.in
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/Makefile.in	Tue Feb 22 23:51:48 1994 +0000
+++ b/Makefile.in	Tue Feb 22 23:56:15 1994 +0000
@@ -162,6 +162,9 @@
 # once.
 archlibdir=@archlibdir@
 
+# Where to put the docstring file.
+docdir=@docdir@
+
 # ==================== Utility Programs for the Build ====================
 
 # Allow the user to specify the install program.
@@ -207,6 +210,7 @@
 	  -e 's;\(#.*PATH_EXEC\).*$$;\1 "${archlibdir}";'		\
 	  -e 's;\(#.*PATH_INFO\).*$$;\1 "${infodir}";'			\
 	  -e 's;\(#.*PATH_DATA\).*$$;\1 "${etcdir}";'			\
+	  -e 's;\(#.*PATH_DOC\).*$$;\1 "${docdir}";'			\
 	  -e 's;\(#.*PATH_LOCK\).*$$;\1 "${lockdir}/";')
 	@${srcdir}/move-if-change src/paths.h.tmp src/paths.h