diff options
| author | Timo Savinen <tjsa@iki.fi> | 2006-03-16 12:53:53 +0000 |
|---|---|---|
| committer | Hadrien Dorio <hadrien.dorio@gmail.com> | 2017-12-16 00:24:06 +0100 |
| commit | 8cd3947e7a7cc09de6299bbe82262bc123476218 (patch) | |
| tree | 0ffc2ba3f5a03768c46f45c4cc87b8eb101208be /doc/Makefile.in | |
| parent | dcefa7a144fb35b23d1ca339d58f3b9e58e7faa3 (diff) | |
| download | binary-block-editor-8cd3947e7a7cc09de6299bbe82262bc123476218.tar.gz binary-block-editor-8cd3947e7a7cc09de6299bbe82262bc123476218.zip | |
0.1.9
Diffstat (limited to 'doc/Makefile.in')
| -rw-r--r-- | doc/Makefile.in | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index 77e741a..20ec50e 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -277,10 +277,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 |
