From 8a8ae1d272d060c80641856301f7ee22a68feda7 Mon Sep 17 00:00:00 2001 From: Sporiff Date: Tue, 2 May 2023 09:45:31 +0200 Subject: [PATCH] Make pre-commit happy Part-of: --- docs/administrator/installation/debian.md | 1 + docs/administrator/installation/docker.md | 1 + docs/conf.py | 2 +- 3 files changed, 3 insertions(+), 1 deletion(-) diff --git a/docs/administrator/installation/debian.md b/docs/administrator/installation/debian.md index 2cfbdcaa0..2b2288c45 100644 --- a/docs/administrator/installation/debian.md +++ b/docs/administrator/installation/debian.md @@ -323,6 +323,7 @@ Nginx isn't preinstalled on Debian. You can install it by running the following $ sudo apt update $ sudo apt install nginx ``` + ::: % Nginx update instructions diff --git a/docs/administrator/installation/docker.md b/docs/administrator/installation/docker.md index b3a3869ed..60eb3c74b 100644 --- a/docs/administrator/installation/docker.md +++ b/docs/administrator/installation/docker.md @@ -176,6 +176,7 @@ Nginx isn't preinstalled on Debian. You can install it by running the following $ sudo apt update $ sudo apt install nginx ``` + ::: % Nginx update instructions diff --git a/docs/conf.py b/docs/conf.py index 841d91b83..c04e78ee2 100755 --- a/docs/conf.py +++ b/docs/conf.py @@ -257,4 +257,4 @@ gettext_compact = False # Don't copy prompts with copybutton -copybutton_exclude = '.linenos, .gp' +copybutton_exclude = ".linenos, .gp"