diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 63dddb6f65b..5db8cf1906b 100644 --- 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 |