From da61ac04621ad36e24c6dc98d86b151a887d7da7 Mon Sep 17 00:00:00 2001 From: Daniel VandenHeuvel <95613936+DanielVandH@users.noreply.github.com> Date: Mon, 31 Jul 2023 16:52:37 +1000 Subject: [PATCH] Update pipeline.md --- docs/src/pipeline.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/src/pipeline.md b/docs/src/pipeline.md index 12edf1c..0ac4692 100644 --- a/docs/src/pipeline.md +++ b/docs/src/pipeline.md @@ -143,4 +143,4 @@ The last step of the generation is writing to file. The result is written to by the user (for example `docs/generated`), and `name` is a user supplied filename. It is recommended to add the output directory to `.gitignore` since the idea is that the generated documents will be generated as part of the build process rather than -beeing files in the repo. +being files in the repo.