• 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.mli 2.94 KB