diff options
Diffstat (limited to 'ocamldoc/odoc_global.ml')
| -rw-r--r-- | ocamldoc/odoc_global.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ocamldoc/odoc_global.ml b/ocamldoc/odoc_global.ml index cd528bf288..92b9308e16 100644 --- a/ocamldoc/odoc_global.ml +++ b/ocamldoc/odoc_global.ml @@ -77,3 +77,5 @@ let with_trailer = ref true let with_toc = ref true let with_index = ref true + +let initially_opened_module = ref "Stdlib" |