Unverified Commit 07ee3496 authored Feb 23, 2023 by Naïm Favier

doc: add `result` to .gitignore

Ensure the local `result` symlink from an earlier build isn't copied to
the store.

parent d377d9bc

doc/.gitignore

+2 −0

Original line number	Diff line number	Diff line
		@@ -6,3 +6,5 @@ functions/library/locations.xml
		highlightjs
		manual-full.xml
		out
		result
		result-*