Use docdir to initialize PATH_DOC in paths.h.

diff --git a/Makefile.in b/Makefile.in
index 63dddb6f65b5f3fd48cfa0f4e1c13b4710984c01..5db8cf1906bc3adbecb27502c4824dc5e5ba3efd 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -162,6 +162,9 @@ lockdir=@lockdir@
 # 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 @@ src/paths.h: Makefile ${srcdir}/src/paths.h.in FRC.src.paths.h
          -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