From 1acd3ab09be1b65bfd6122ee351490c3b5527bb8 Mon Sep 17 00:00:00 2001 From: Alexandre Alapetite Date: Sat, 8 Jan 2022 21:58:55 +0100 Subject: Use typographic quotes (#4133) * Use typographic quotes * A few fixes * Fix * Fix not saved * Implement feedback * Detail * Revert spoken English fixes Left for a future dedicated discussion * More reverts * Final reverts * Final minor --- docs/en/admins/04_Updating.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/en/admins/04_Updating.md') diff --git a/docs/en/admins/04_Updating.md b/docs/en/admins/04_Updating.md index 2004d5318..27874d25c 100644 --- a/docs/en/admins/04_Updating.md +++ b/docs/en/admins/04_Updating.md @@ -4,7 +4,7 @@ The following is general procedure; [specific commands for Linux may be found he ## Backing Up -Before you update to a new version of FreshRSS, it's always a good idea to backup your current installation. Simply make an archive of your FreshRSS directory, which can be restored if needed by following the "Updating from a Zip Archive" section at the bottom of this document. +Before you update to a new version of FreshRSS, it’s always a good idea to backup your current installation. Simply make an archive of your FreshRSS directory, which can be restored if needed by following the "Updating from a Zip Archive" section at the bottom of this document. ## Updating From the Web @@ -18,7 +18,7 @@ If you installed FreshRSS using git, you can update, change branches, or switch Generally, the update procedure via git works as follows: -1. Making sure you're in your FreshRSS install directory, and fetch updates. +1. Making sure you’re in your FreshRSS install directory, and fetch updates. 2. Checkout the branch you wish to use. 3. Perform a hard reset to discard local changes. 4. Delete manual additions. Be sure to move your backup out of the directory before doing this step! -- cgit v1.2.3