ignore parent module name

aspeddro · aspeddro · commit de2067645bdc · 2024-06-16T17:52:21.000-03:00
diff --git a/tools/src/tools.ml b/tools/src/tools.ml
@@ -497,8 +497,8 @@ let extractDocs ~entryPointFile ~debug =
                              identModulePath
                            |> Option.is_none
                          with
-                         | true -> modulePath
                          | false -> []
+                         | true -> [modulePath |> List.rev |> List.hd]
                        in
 
                        Some
