diff -r 000000000000 -r 40c8f766c9b8 src/cm/utils/files.py
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/cm/utils/files.py	Mon Nov 23 15:14:29 2009 +0100
@@ -0,0 +1,20 @@
+def remove_extension(file_name):
+    """
+    Remove 3 letters and 4 letters extension from filename
+    
+    >>> remove_extension('my file.tex')
+    'my file'
+    >>> remove_extension('my file.html')
+    'my file'
+    >>> remove_extension('my file')
+    'my file'
+    """
+    for point_loc in [3,4]:
+        if len(file_name)>point_loc and file_name[-point_loc-1] == '.':
+            return file_name[:-point_loc-1] 
+    return file_name
+    
+
+if __name__ == "__main__":
+    import doctest
+    doctest.testmod()    
\ No newline at end of file