From eda5bc9e28384f4916057d9b6e7b4b59f46e8418 Mon Sep 17 00:00:00 2001 From: Tommaso Negri Date: Thu, 17 Sep 2026 21:23:32 +0200 Subject: update docs --- Sources/bar/bar.docc/patches.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'Sources') diff --git a/Sources/bar/bar.docc/patches.md b/Sources/bar/bar.docc/patches.md index c173ba5..948fec0 100644 --- a/Sources/bar/bar.docc/patches.md +++ b/Sources/bar/bar.docc/patches.md @@ -34,8 +34,7 @@ make install Creating a patch is straightforward if you already made the changes in your local copy: 1. Make sure your working directory is a git repository. -2. Stage all the changes you want to include in the patch. -3. Run `git diff` to generate the patch file. +2. Run `git diff` to generate the patch file. For example: -- cgit v1.2.3