291
373
sed -n '/\.1[a-z]*$$/p'; \
292
374
} | sed -e 's,.*/,,;h;s,.*\.,,;s,^[^1][0-9a-z]*$$,1,;x' \
293
375
-e 's,\.[0-9a-z]*$$,,;$(transform);G;s,\n,.,'`; \
318
385
@srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
319
386
topsrcdirstrip=`echo "$(top_srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \