diff options
author | Joern Rennecke <joern.rennecke@arc.com> | 2009-09-11 04:45:40 +0000 |
---|---|---|
committer | Joern Rennecke <joern.rennecke@arc.com> | 2009-09-11 04:45:40 +0000 |
commit | c0b9c0330ac498673282832d8714d013569ca986 (patch) | |
tree | 7524276d1d63cb4ab23038ae8361a0228325863a /bfd/doc/Makefile.in | |
parent | 139d19ee035d132be681a95ece3bbe230664ea9c (diff) | |
download | gdb-arc-insight_6_8-branch.tar.gz |
gdb/insight for ARCompact (from Richard Stuckey)arc-insight_6_8-branch
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 |