diff --git a/src/verso-manual/Verso/Genre/Manual/Basic.lean b/src/verso-manual/Verso/Genre/Manual/Basic.lean
index 5809cd7..3b50c24 100644
--- a/src/verso-manual/Verso/Genre/Manual/Basic.lean
+++ b/src/verso-manual/Verso/Genre/Manual/Basic.lean
@@ -1,3 +1,9 @@
+/-
+Copyright (c) 2024 Lean FRO LLC. All rights reserved.
+Released under Apache 2.0 license as described in the file LICENSE.
+Author: David Thrane Christiansen
+-/
+
 import Lean
 import Verso.Doc
 import Verso.Doc.Html
diff --git a/src/verso-manual/Verso/Genre/Manual/Docstring.lean b/src/verso-manual/Verso/Genre/Manual/Docstring.lean
index fc24b65..8b11cee 100644
--- a/src/verso-manual/Verso/Genre/Manual/Docstring.lean
+++ b/src/verso-manual/Verso/Genre/Manual/Docstring.lean
@@ -1,3 +1,9 @@
+/-
+Copyright (c) 2024 Lean FRO LLC. All rights reserved.
+Released under Apache 2.0 license as described in the file LICENSE.
+Author: David Thrane Christiansen
+-/
+
 import Lean
 import Verso.Genre.Manual.Basic
 import Verso.Doc.Elab.Monad