diff options
| author | github-actions[bot] <github-actions[bot]@users.noreply.github.com> | 2024-08-23 23:45:42 +0000 |
|---|---|---|
| committer | github-actions[bot] <github-actions[bot]@users.noreply.github.com> | 2024-08-23 23:45:42 +0000 |
| commit | 30e526124784fe5a9e227e279bbbacd061d1c1c3 (patch) | |
| tree | ef0743fd7e363f8915226ac24f0d41200c9065a3 | |
| parent | 39f1971a0d4e9357d44763291c2ba6538a127a7e (diff) | |
Update website
| -rw-r--r-- | manual/dev/index.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/manual/dev/index.html b/manual/dev/index.html index 8f9318cb..464a6295 100644 --- a/manual/dev/index.html +++ b/manual/dev/index.html @@ -8180,7 +8180,8 @@ but also to allow for single-file modules.</p> ambiguities (e.g., <code>foo/foo</code>).</p> <p>For example, with <code>-L$HOME/.jq</code> a module <code>foo</code> can be found in <code>$HOME/.jq/foo.jq</code> and <code>$HOME/.jq/foo/foo.jq</code>.</p> -<p>If <code>$HOME/.jq</code> is a file, it is sourced into the main program.</p> +<p>If <code>.jq</code> exists in the user's home directory, and is a file (not a +directory), it is automatically sourced into the main program.</p> <section id="import-relativepathstring-as-name"> <h3> <code>import RelativePathString as NAME [<metadata>];</code> |