- if F.check_suffix path ".con.ng" then add_obj path else
- if F.check_suffix path ".ind.ng" then add_obj path else
- if F.check_suffix path ".var.ng" then add_obj path else
- if F.check_suffix path ".ng" then add_src devel path else
+ if is_obj path then add_obj path else
+ if F.check_suffix path ".ng" then
+ if src_exists (F.chop_extension devel ^ ".ma")
+ then add_src devel path else add_remove base path
+ else