Docs: mdBook-pagetoc: Fix copyright

Add the original author of the plugin to the copyright. Signed-off-by: Ivan Nikolaenko <[email protected]>
tiiuae · Jul 18, 2024 · 8943b19 · 8943b19
1 parent 9601f8a
commit 8943b19
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git a/docs/theme/index.hbs b/docs/theme/index.hbs
@@ -1,4 +1,5 @@
 <!-- --
+Copyright 2020 Jorel Ali <[email protected]>
 Copyright 2022-2024 TII (SSRC) and the Ghaf contributors
 SPDX-License-Identifier: WTFPL
   ---->

diff --git a/docs/theme/pagetoc.css b/docs/theme/pagetoc.css
@@ -1,4 +1,5 @@
 /*
+Copyright 2020 Jorel Ali <[email protected]>
 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
@@ -1,4 +1,5 @@
 /*
+Copyright 2020 Jorel Ali <[email protected]>
 Copyright 2022-2024 TII (SSRC) and the Ghaf contributors
 SPDX-License-Identifier: WTFPL
 */