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

Original author: cvscast
Date: 2003-10-10 09:41:21+00:00

driver/librarian.ml

@@ -55,7 +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"
-let object_filename id = Encodings.Utf8.to_string (C.value id) ^ ".cdo"
+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"
 
 
 let save id =