diff options
| author | Tommaso Negri <me@tommasongr.com> | 2026-09-17 21:23:32 +0200 |
|---|---|---|
| committer | Tommaso Negri <me@tommasongr.com> | 2026-09-17 21:23:32 +0200 |
| commit | eda5bc9e28384f4916057d9b6e7b4b59f46e8418 (patch) | |
| tree | ed898b5c0f1ea86760a3a04741ece25bd0939d62 | |
| parent | 4428d08a1498e737be87041906ebc4a1840a9b79 (diff) | |
| download | bar-eda5bc9e28384f4916057d9b6e7b4b59f46e8418.tar.gz bar-eda5bc9e28384f4916057d9b6e7b4b59f46e8418.zip | |
update docs
| -rw-r--r-- | Sources/bar/bar.docc/patches.md | 3 |
1 files changed, 1 insertions, 2 deletions
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: |