- Mention `warranty;' in splash-screen instead of file COPYING.

diff --git a/ginsh/ginsh_parser.yy b/ginsh/ginsh_parser.yy
index 0fcafa2eba44939ed5d55a1786acb498b9c188a2..fdb9bffa634fd1c6cad39ae3b12eae061473b9e3 100644 (file)
--- a/ginsh/ginsh_parser.yy
+++ b/ginsh/ginsh_parser.yy
@@ -741,8 +741,8 @@ void greeting(void)
     cout << "ginsh - GiNaC Interactive Shell (" << PACKAGE << " V" << VERSION << ")" << endl;
     cout << "  __,  _______  Copyright (C) 1999-2000 Johannes Gutenberg University Mainz,\n"
          << " (__) *       | Germany.  This is free software with ABSOLUTELY NO WARRANTY.\n"
-         << "  ._) i N a C | You are welcome to redistribute it under certain conditions;\n"
-         << "<-------------' see the file COPYING for details.\n" << endl;
+         << "  ._) i N a C | You are welcome to redistribute it under certain conditions.\n"
+         << "<-------------' For details type `warranty;'.\n" << endl;
     cout << "Type ?? for a list of help topics." << endl;
 }