diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 920149e2f43..d2de5a46139 100644 --- a/Makefile.in +++ b/Makefile.in @@ -203,7 +203,6 @@ removenullpaths=sed -e 's/^://g' -e 's/:$$//g' -e 's/::/:/g' # Generate paths.h from paths.in. This target is invoked by `configure'. paths-force: FRC - @echo "Producing \`src/paths.h' from \`src/paths.in'." @(lisppath=`echo ${lisppath} | ${removenullpaths}` ; \ buildlisppath=`echo ${buildlisppath} | ${removenullpaths}` ; \ sed < ${srcdir}/src/paths.in > paths.h.$$$$ \ |