diff options
Diffstat (limited to 'bfd/doc/Makefile.in')
-rw-r--r-- | bfd/doc/Makefile.in | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/bfd/doc/Makefile.in b/bfd/doc/Makefile.in index e27d0f3d511..c21fefd7eba 100644 --- a/bfd/doc/Makefile.in +++ b/bfd/doc/Makefile.in @@ -461,10 +461,13 @@ dist-info: $(INFO_DEPS) $(srcdir)/*) base=`echo "$$base" | sed "s|^$$srcdirstrip/||"`;; \ esac; \ if test -f $$base; then d=.; else d=$(srcdir); fi; \ - for file in $$d/$$base*; do \ - relfile=`expr "$$file" : "$$d/\(.*\)"`; \ - test -f $(distdir)/$$relfile || \ - cp -p $$file $(distdir)/$$relfile; \ + base_i=`echo "$$base" | sed 's|\.info$$||;s|$$|.i|'`; \ + for file in $$d/$$base $$d/$$base-[0-9] $$d/$$base-[0-9][0-9] $$d/$$base_i[0-9] $$d/$$base_i[0-9][0-9]; do \ + if test -f $$file; then \ + relfile=`expr "$$file" : "$$d/\(.*\)"`; \ + test -f $(distdir)/$$relfile || \ + cp -p $$file $(distdir)/$$relfile; \ + else :; fi; \ done; \ done |