# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 840742152 0
# Node ID 4ee67c1476f428daf67527712a69466209cdc0cd
# Parent  1263768414243eec780aacc3ffe462772911dc17
Generate src/paths.h here.

diff -r 126376841424 -r 4ee67c1476f4 configure.in
--- a/configure.in	Thu Aug 22 19:28:44 1996 +0000
+++ b/configure.in	Thu Aug 22 19:29:12 1996 +0000
@@ -1667,6 +1667,9 @@
 `"
 changequote([, ])dnl
 
+echo creating src/paths.h
+make paths-force
+
 echo creating lib-src/Makefile
 ( cd lib-src
   rm -f junk.c junk1.c junk2.c