You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Fixes#7364
If the directory is named `_odoc_support` with a leading underscore, it
is omitted when deploying to github pages. This is because this system
also support the jekyll site generator, which uses this convention for
data files.
We can not use any directory name here since we want to avoid conflicts
with OCaml identifiers and names of `*.mld` files. Starting with a dot
seems to fit the requirements.
Signed-off-by: Etienne Millon <me@emillon.org>
0 commit comments