• Yannick Moy's avatar
    N919-012 Add functions for removing special parent/current subpaths · f9a8faa3
    Yannick Moy authored
    Function Sysutil.relativize_filename does not work well when its first
    argument contains special subpaths for the parent and current directories
    (".." and "."). Provide a function Sysutil.normalize_filename that removes
    such subpaths, to be called before Sysutil.relativize_filename.
sysutil.ml 5.67 KB