From: Jim Meyering <jim@meyering.net>
Date: Tue, 19 May 1998 16:04:24 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d5cf7aabc9f06c59165f2b6a53d2f4cc01c7daeb;p=pspp

*** empty log message ***
---

diff --git a/m4/Makefile.am.in b/m4/Makefile.am.in
index d616efb305..c4453fd304 100644
--- a/m4/Makefile.am.in
+++ b/m4/Makefile.am.in
@@ -7,7 +7,7 @@ Makefile.am: Makefile.am.in
 	rm -f $@ $@t
 	sed -n '1,/^##m4-files-begin/p' $< > $@t
 	( echo EXTRA_DIST = README; \
-	  find . -type f -name '*.m4' -print |sed s/..// |sort ) \
+	  find . -type f -name '*.m4' -print |sed s,^\./,, |sort ) \
 	    |fmt | (tr '\012' @; echo) \
 	    |sed 's/@$$/%/;s/@/ \\@/g' |tr @% '\012\012' \
 	  >> $@t