From 0a60c2f2a804a67aea61e4a3264a410e94e4bff5 Mon Sep 17 00:00:00 2001 From: Seb M'Caw Date: Mon, 14 Oct 2024 07:59:55 +0000 Subject: [PATCH] Add typos --- doc/getting-started.md | 2 +- doc/introduction.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/getting-started.md b/doc/getting-started.md index 40b2441c9..c6d5776ae 100644 --- a/doc/getting-started.md +++ b/doc/getting-started.md @@ -83,7 +83,7 @@ Run `alr help ` for more details about a command. ### Downloading, compiling and running an executable crate -Obtaining an executable project already cataloged in Alire is straightforward. +Obtaining an executable project already catalogued in Alire is straightforward. We'll demonstrate it with the `hello` project which is a plain "Hello, world!" application (or you can use the `hangman` or `eagle_lander` projects as funnier alternatives). diff --git a/doc/introduction.md b/doc/introduction.md index 7dcbbcc75..647601ccb 100644 --- a/doc/introduction.md +++ b/doc/introduction.md @@ -1,6 +1,6 @@ # Introduction -`Alire` is a source-based package manager for the Ada and SPARK programming +`Alire` is a source-based package manager for the Ada and SPARK programing languages. It is a way for developers to easily build upon projects (libraries or