diff options
| author | Marcin Szamotulski <profunctor@pm.me> | 2021-08-08 17:19:06 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-08 17:19:06 +0200 |
| commit | 5bd9262466a0e71da4e84654a1906b76996e3692 (patch) | |
| tree | f8b6c000381a10b540cb27d7c9089158075a25db /doc | |
| parent | be7ea34f16391d5e61326b117ecddeea2165fb86 (diff) | |
coot/multiple packages (ghc-9.2) (#1418)
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/invoking.rst | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/invoking.rst b/doc/invoking.rst index 4e4b8764..68e01d70 100644 --- a/doc/invoking.rst +++ b/doc/invoking.rst @@ -223,6 +223,13 @@ The following options are available: Reserved for future use (output documentation in DocBook XML format). +.. option:: --base-url=<url> + + Base url for static assets (eg. css, javascript, json files etc.). + When present, static assets are not copied. This option is useful + when creating documentation for multiple packages, it allows to have + a single copy of static assets served from the given url. + .. option:: --source-base=<url> --source-module=<url> --source-entity=<url> |