diff options
Diffstat (limited to 'Docs/Makefile.am')
| -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/" \ |