package b0
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha512=e9aa779e66c08fc763019f16d4706f465d16c05d6400b58fbd0313317ef33ddea51952e2b058db28e65f7ddb7012f328c8bf02d8f1da17bb543348541a2587f0
doc/b0.kit/B0_odoc/Theme/index.html
Module B0_odoc.Theme
Source
Odoc theme support.
Themes names
The type for theme names.
default_uri
is a default uri to give to Html.cmd
, this is "_odoc-theme"
. This will use that directory in the html directory.
User preference
config_file
is the file relative to the user's B0_std.Os.Dir.config
directory for specifying the odoc theme.
get_user_preference ()
is the user prefered theme name (if any).
set_user_preference t
sets the user prefered theme to t
.
Themes
The type for themes.
path t
is the path to the theme directory.
pp_name
formats a theme's name.
pp
formats a theme.
Queries
of_dir sharedir
are the themes found in sharedir
. These are formed by looking up in sharedir
for directory paths of the form PKG/odoc-theme/ID/
in sharedir
which yields a theme named by PKG.ID
.
find ~fallback n ts
finds theme n
in ts
. An error is returned if n
cannot be found, in that case it indicates fallback
will be used instead (if specified).
Writing
write m t ~to_dir
writes theme to directory to_dir
. This simply copies path
to to_dir
.