$(INSTALL_DATA) $(srcdir)/COPYING $(docdir)/
$(INSTALL_DATA) $(srcdir)/CHANGES $(docdir)/
$(INSTALL_DATA) $(srcdir)/CREDITS $(docdir)/
$(INSTALL_DATA) $(srcdir)/COPYING $(docdir)/
$(INSTALL_DATA) $(srcdir)/CHANGES $(docdir)/
$(INSTALL_DATA) $(srcdir)/CREDITS $(docdir)/