From 8943b19a988a3bbd0c5a277acc06ee06d2dfe126 Mon Sep 17 00:00:00 2001 From: Ivan Nikolaenko Date: Thu, 18 Jul 2024 16:12:51 +0300 Subject: [PATCH] Docs: mdBook-pagetoc: Fix copyright Add the original author of the plugin to the copyright. Signed-off-by: Ivan Nikolaenko --- docs/theme/index.hbs | 1 + docs/theme/pagetoc.css | 1 + docs/theme/pagetoc.js | 1 + 3 files changed, 3 insertions(+) diff --git a/docs/theme/index.hbs b/docs/theme/index.hbs index e0af0bdf9..420e89c83 100644 --- a/docs/theme/index.hbs +++ b/docs/theme/index.hbs @@ -1,4 +1,5 @@ diff --git a/docs/theme/pagetoc.css b/docs/theme/pagetoc.css index 083795bcf..40fc81fbd 100644 --- a/docs/theme/pagetoc.css +++ b/docs/theme/pagetoc.css @@ -1,4 +1,5 @@ /* +Copyright 2020 Jorel Ali Copyright 2022-2024 TII (SSRC) and the Ghaf contributors SPDX-License-Identifier: WTFPL */ diff --git a/docs/theme/pagetoc.js b/docs/theme/pagetoc.js index b41f5da3c..9fdd878b2 100644 --- a/docs/theme/pagetoc.js +++ b/docs/theme/pagetoc.js @@ -1,4 +1,5 @@ /* +Copyright 2020 Jorel Ali Copyright 2022-2024 TII (SSRC) and the Ghaf contributors SPDX-License-Identifier: WTFPL */