Skip to content

Commit 6a010bd

Browse files
committed
fix docs script
1 parent bd2d9d7 commit 6a010bd

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

scripts/doc_gen.js

Lines changed: 1 addition & 1 deletion
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, '..', process.platform, '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')} -as-ppx' -d ${api_doc_dir}`
8181

8282
// -html it is weird
8383
// It is weird, -html will unload the plugin

0 commit comments

Comments
 (0)