From 8436c3e502103028e48b9a5165ea3d8ee60c48e0 Mon Sep 17 00:00:00 2001
From: Jose Antonio Ortega Ruiz <jao@gnu.org>
Date: Fri, 28 Sep 2001 23:10:45 +0000
Subject: uniform command line options handling

---
 mixguile/mixguile_main.c | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

(limited to 'mixguile/mixguile_main.c')

diff --git a/mixguile/mixguile_main.c b/mixguile/mixguile_main.c
index fca0664..c230131 100644
--- a/mixguile/mixguile_main.c
+++ b/mixguile/mixguile_main.c
@@ -1,7 +1,7 @@
 /* -*-c-*- -------------- mixguile_main.c :
  * Main function for mixguile, the MIX Guile shell
  * ------------------------------------------------------------------
- *  $Id: mixguile_main.c,v 1.4 2001/09/24 23:28:03 jao Exp $
+ *  $Id: mixguile_main.c,v 1.5 2001/09/28 23:10:45 jao Exp $
  * ------------------------------------------------------------------
  * Copyright (C) 2001 Free Software Foundation, Inc.
  *  
@@ -53,7 +53,6 @@ main (int argc, char *argv[])
   mix_vm_cmd_dispatcher_t *dis;
   int c;
 
-  const char *prog_name = argv[0];
   gboolean initfile = TRUE;
       
   setlocale (LC_ALL, "");
@@ -74,9 +73,7 @@ main (int argc, char *argv[])
       switch (c)
 	{
      	case VER_OPT:
-	  fprintf (stderr, _("%s %s, Scheme MIX Virtual Machine.\n"), 
-		   prog_name, VERSION);
-	  fprintf (stderr, MIX_GPL_LICENSE);
+	  mix_print_license ("mixguile, Scheme MIX Virtual Machine"); 
 	  return EXIT_SUCCESS;
 	case NOINIT_OPT:
 	  initfile = FALSE;
-- 
cgit v1.2.3