From 07ee3496ca816ae0b0a86f71ed0862abd9933dd3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Na=C3=AFm=20Favier?= Date: Thu, 23 Feb 2023 17:20:59 +0100 Subject: [PATCH] doc: add `result` to .gitignore Ensure the local `result` symlink from an earlier build isn't copied to the store. --- doc/.gitignore | 2 ++ 1 file changed, 2 insertions(+) diff --git a/doc/.gitignore b/doc/.gitignore index b5c58be03d1..e532ed0eb9c 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -6,3 +6,5 @@ functions/library/locations.xml highlightjs manual-full.xml out +result +result-*