Skip to content

Commit 671c03c

Browse files
authored
FIX DOCS CI, change binary layout
Should have been fixed with 024695f
1 parent e859fa5 commit 671c03c

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

scripts/doc_gen.js

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -77,7 +77,7 @@ function main() {
7777
var hidden_modules = ``
7878
// hidden_modules = `-hide ${hidden_list.join(',')}`
7979

80-
var prefix_flags = `${ocamldoc} ${generator} ${hidden_modules} -w -40 -nostdlib -nopervasives -I ${others_dir} -I ${runtime_dir} -open Bs_stdlib_mini -charset utf-8 -intro ${intro} -sort -ppx '${path.join(__dirname, '..', 'lib', 'bsc.exe')} -as-ppx' -d ${api_doc_dir}`
80+
var prefix_flags = `${ocamldoc} ${generator} ${hidden_modules} -w -40 -nostdlib -nopervasives -I ${others_dir} -I ${runtime_dir} -open Bs_stdlib_mini -charset utf-8 -intro ${intro} -sort -ppx '${path.join(__dirname, '..', process.platform, 'bsc.exe')} -as-ppx' -d ${api_doc_dir}`
8181

8282
// -html it is weird
8383
// It is weird, -html will unload the plugin
@@ -97,4 +97,4 @@ if(require.main === module){
9797
// child_process.execSync(`${prefix_flags} ${runtime_files} `, {cwd : runtime_dir})
9898

9999
// console.log(`others files : ${others_files}`)
100-
// child_process.execSync(`${prefix_flags} ${others_files} `, {cwd : others_dir})
100+
// child_process.execSync(`${prefix_flags} ${others_files} `, {cwd : others_dir})

0 commit comments

Comments
 (0)