doc: add logo

diff --git a/doc/conf.py b/doc/conf.py
index 9cb6d423f4544adaf901dd336399b93ed9babf3b..270e050ac4316c6cc9bfb6283c7347c6952e837a 100644 (file)
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -184,7 +184,7 @@ latex_documents = [
 
 # The name of an image file (relative to this directory) to place at the top of
 # the title page.
-#latex_logo = None
+latex_logo = "migen_logo.png"
 
 # For "manual" documents, if this is true, then toplevel headings are parts,
 # not chapters.

diff --git a/doc/migen_logo.png b/doc/migen_logo.png
new file mode 100644 (file)
index 0000000..8c86fc0
Binary files /dev/null and b/doc/migen_logo.png differ