diff options
| author | Guilhem Moulin <guilhem@fripost.org> | 2020-12-09 15:34:00 +0100 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@fripost.org> | 2020-12-09 15:34:00 +0100 |
| commit | 96c540042718e05161f03dd7edeaf0ae8820d3ce (patch) | |
| tree | 44e65a9b7e477d1a414426f71e936c6533c26297 /doc/build.md | |
| parent | 34142cae2430d7b38a2542939709bbbc4a509703 (diff) | |
| parent | bb58678ba034e56f88db7202bf4e29ef3bd1bebd (diff) | |
Merge tag 'upstream/0.5.3' into debian
Upstream version 0.5.3
Diffstat (limited to 'doc/build.md')
| -rw-r--r-- | doc/build.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/build.md b/doc/build.md index d704f71..4a4f80d 100644 --- a/doc/build.md +++ b/doc/build.md @@ -66,9 +66,9 @@ the `CSS` environment variable (the value of which defaults to For instance, use - $ CSS="https://guilhem.org/static/css/bootstrap.min.css" \ - HTML_ROOTDIR="$XDG_RUNTIME_DIR/interimap" \ - make html + $ env CSS="https://guilhem.org/static/css/bootstrap.min.css" \ + HTML_ROOTDIR="$XDG_RUNTIME_DIR/interimap" \ + make html to generate the HTML documentation under directory `$XDG_RUNTIME_DIR/interimap` (which needs to exist) using a remote CSS file. |