From 8090e54939b88104bb444f8503d111c797b63c47 Mon Sep 17 00:00:00 2001 From: mycognosist Date: Fri, 23 Oct 2020 10:57:56 +0100 Subject: [PATCH] Fix formatting --- GITHOOK_DEPLOYMENT.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/GITHOOK_DEPLOYMENT.md b/GITHOOK_DEPLOYMENT.md index 79e21e4..1a63af0 100644 --- a/GITHOOK_DEPLOYMENT.md +++ b/GITHOOK_DEPLOYMENT.md @@ -55,7 +55,7 @@ do done ``` -_In brief, the script clones the latest documentation code to the `devdocs_build` directory, builds it, and copies the resulting book to the web directory._ +In brief, the script clones the latest documentation code to the `devdocs_build` directory, builds it, and copies the resulting book to the web directory. The automated build and deployment process can now be initiated from the developer's local machine. First, the production server is added as a remote, then the push is made: