[r2003-10-10 09:46:15 by cvscast] Beppe: correct a bug on suffix that made make webpages fail

Original author: cvscast
Date: 2003-10-10 09:46:15+00:00

driver/librarian.ml

@@ -55,6 +55,9 @@ let deserialize_dep =
 let source_filename id = 
     let filename = Encodings.Utf8.to_string (C.value id) 
      in if (Filename.check_suffix filename "cd") then filename else filename^ ".cd"
+
+(* if we add an option for the user to specify the output file then we probably *)
+(* should not add the .cdo at the end                                           *)
 let object_filename id = 
     let filename = Encodings.Utf8.to_string (C.value id) 
      in if (Filename.check_suffix filename "cd") then filename else filename ^ ".cdo"