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
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