1structure holmake_holpathdb =
2struct
3
4local
5  val exts = holpathdb.search_for_extensions ReadHMF.find_includes
6                                             [OS.FileSys.getDir()]
7in
8  val _ = List.app holpathdb.extend_db exts
9end
10
11end
12