Skip to content

Commit b47f9f1

Browse files
authored
Merge pull request #4181 from Et7f3/patch-1
2 parents e859fa5 + 671c03c commit b47f9f1

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)