Merge pull request #98 from italia/support-old-theme

Support docs referencing old theme name
italia · Aug 8, 2018 · 4f427f3 · 4f427f3
2 parents a6457e3 + 9ad8419
commit 4f427f3
Show file tree

Hide file tree

Showing 3 changed files with 2,199 additions and 2,055 deletions.
diff --git a/docs-italia-theme/__init__.py b/docs-italia-theme/__init__.py
@@ -0,0 +1,7 @@
+# This file is here for compatibility because the
+# theme changed his name to docs_italia_theme
+
+"""Docs Italia theme"""
+
+def get_html_theme_path():
+    return None