From 515cd34fd7a095892c154de209df630a526c416a Mon Sep 17 00:00:00 2001 From: Daniel VandenHeuvel <95613936+DanielVandH@users.noreply.github.com> Date: Mon, 31 Jul 2023 19:57:36 +1000 Subject: [PATCH] Fix typo in pipeline.md (#218) --- 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 12edf1cd..0ac46927 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.