diff options
author | Naïm Favier <n@monade.li> | 2023-02-23 17:20:59 +0100 |
---|---|---|
committer | Naïm Favier <n@monade.li> | 2023-02-23 18:41:42 +0100 |
commit | 07ee3496ca816ae0b0a86f71ed0862abd9933dd3 (patch) | |
tree | cc539f00fdad9688cf5981f514bb09f6ddb6f0db /doc | |
parent | d377d9bc2e1ee3a6921bf1e452603e7a56ed6331 (diff) |
doc: add `result` to .gitignore
Ensure the local `result` symlink from an earlier build isn't copied to the store.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/.gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore index b5c58be03d150..e532ed0eb9c81 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -6,3 +6,5 @@ functions/library/locations.xml highlightjs manual-full.xml out +result +result-* |