1 files changed, 1 insertions, 0 deletions
diff --git a/bootstrap b/bootstrap
index dbeb0b8d..099d9abf 100755
--- a/bootstrap
+++ b/bootstrap
@@ -509,6 +509,7 @@ slurp() {
 	  echo "$0: Copying $1/$dir/$file to $dir/$gnulib_mk ..." &&
 	  rm -f $dir/$gnulib_mk &&
 	  sed "$remove_intl" $1/$dir/$file >$dir/$gnulib_mk
+          etc/prefix-gnulib-mk $dir/$gnulib_mk
 	}
       elif { test "${2+set}" = set && test -r $2/$dir/$file; } ||
 	   version_controlled_file $dir $file; then