diff options
| author | monty@donna.mysql.com <> | 2001-02-02 04:09:04 +0200 |
|---|---|---|
| committer | monty@donna.mysql.com <> | 2001-02-02 04:09:04 +0200 |
| commit | cffc2849f945a8c2e5e775a270d6f35c572ed443 (patch) | |
| tree | ab877b167f67cf1dd1890f91e1bb3c4f318b9169 /Docs | |
| parent | 136ddd1f86407fa22b4183ff272f0eea3d6bc66c (diff) | |
| parent | f1cf7077a4580261d3fac9cc1f09d8aa68a42bda (diff) | |
| download | mariadb-git-cffc2849f945a8c2e5e775a270d6f35c572ed443.tar.gz | |
Merge work:/my/mysql into donna.mysql.com:/home/my/bk/mysql
Diffstat (limited to 'Docs')
| -rw-r--r-- | Docs/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Docs/Makefile.am b/Docs/Makefile.am index 3d8c3e39905..c4da4e9d0d3 100644 --- a/Docs/Makefile.am +++ b/Docs/Makefile.am @@ -115,8 +115,8 @@ manual_letter.ps: manual.texi include.texi dist-hook: BD=`cd $(top_srcdir); pwd`; \ if test ! -d $(distdir)/Flags; then mkdir -p $(distdir)/Flags; fi; \ - cp -p $(srcdir)/Flags/*.gif $(srcdir)/Flags/*.eps $(srcdir)/Flags/*.txt \ - $(distdir)/Flags; + $(INSTALL_DATA) $(srcdir)/Flags/*.gif $(srcdir)/Flags/*.eps \ + $(srcdir)/Flags/*.txt $(distdir)/Flags; echo "PostScript and PDF versions suitable for printing" \ > $(distdir)/manual.ps echo "are available from http://www.mysql.com/Manual/" \ |