diff src/help.cc @ 7272:05ee52d7fad6

[project @ 2007-12-10 07:06:00 by jwe]
author jwe
date Mon, 10 Dec 2007 07:06:01 +0000
parents 81bed50b9feb
children 745a8299c2b5 2ca993580aca
line wrap: on
line diff
--- a/src/help.cc
+++ b/src/help.cc
@@ -1982,7 +1982,10 @@
 
 		      std::string file_name = load_path::find_fcn (name);
 		      
-		      std::string dir = dirs[i] + file_ops::dir_sep_str;
+		      std::string dir = dirs[i];
+
+		      if (! file_ops::is_dir_sep (dir[dir.length()-1]))
+			dir += file_ops::dir_sep_str;
 
 		      if (file_name == dir + name + ".oct"
 			  || file_name == dir + name + ".m")