# HG changeset patch
# User jwe
# Date 776900522 0
# Node ID 17cddd259c6f278c3d13ec215ddae448bba117ff
# Parent  1ef6a5be15fe9a09c2c60eb9574073c42f50f207
[project @ 1994-08-14 21:42:02 by jwe]

diff --git a/src/octave.cc b/src/octave.cc
--- a/src/octave.cc
+++ b/src/octave.cc
@@ -164,8 +164,10 @@
     { "interactive", 0, 0, 'i' },
     { "info-file", 1, 0, INFO_FILE_OPTION },
     { "norc", 0, 0, 'f' },
+    { "ignore-init-file", 0, 0, 'f' },
     { "path", 1, 0, 'p' },
     { "quiet", 0, 0, 'q' },
+    { "silent", 0, 0, 'q' },
     { "version", 0, 0, 'v' },
     { "echo-commands", 0, 0, 'x' },
     { 0, 0, 0, 0 }