--- a/src/utils.cc	Wed Jul 27 16:02:13 1994 +0000
+++ b/src/utils.cc	Thu Jul 28 05:35:47 1994 +0000
@@ -598,6 +598,16 @@
 }
 
 /*
+ * See if there is an octave file in the path.  If so, return the
+ * full path to the file.
+ */
+char *
+oct_file_in_path (const char *name)
+{
+  return file_in_path (name, ".oct");
+}
+
+/*
 ;;; Local Variables: ***
 ;;; mode: C++ ***
 ;;; page-delimiter: "^/\\*" ***