diff options
| -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@ | |||
| 162 | # once. | 162 | # once. |
| 163 | archlibdir=@archlibdir@ | 163 | archlibdir=@archlibdir@ |
| 164 | 164 | ||
| 165 | # Where to put the docstring file. | ||
| 166 | docdir=@docdir@ | ||
| 167 | |||
| 165 | # ==================== Utility Programs for the Build ==================== | 168 | # ==================== Utility Programs for the Build ==================== |
| 166 | 169 | ||
| 167 | # Allow the user to specify the install program. | 170 | # 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 | |||
| 207 | -e 's;\(#.*PATH_EXEC\).*$$;\1 "${archlibdir}";' \ | 210 | -e 's;\(#.*PATH_EXEC\).*$$;\1 "${archlibdir}";' \ |
| 208 | -e 's;\(#.*PATH_INFO\).*$$;\1 "${infodir}";' \ | 211 | -e 's;\(#.*PATH_INFO\).*$$;\1 "${infodir}";' \ |
| 209 | -e 's;\(#.*PATH_DATA\).*$$;\1 "${etcdir}";' \ | 212 | -e 's;\(#.*PATH_DATA\).*$$;\1 "${etcdir}";' \ |
| 213 | -e 's;\(#.*PATH_DOC\).*$$;\1 "${docdir}";' \ | ||
| 210 | -e 's;\(#.*PATH_LOCK\).*$$;\1 "${lockdir}/";') | 214 | -e 's;\(#.*PATH_LOCK\).*$$;\1 "${lockdir}/";') |
| 211 | @${srcdir}/move-if-change src/paths.h.tmp src/paths.h | 215 | @${srcdir}/move-if-change src/paths.h.tmp src/paths.h |
| 212 | 216 | ||