From 72d2eff6bcacd6d38c23a6f75ba07e4f8781cf15 Mon Sep 17 00:00:00 2001
From: Jan Kiszka <jan.kiszka@siemens.com>
Date: Mon, 17 Jul 2017 22:38:03 +0200
Subject: [PATCH] docs: Remove unused githubpages extension

No need to require its availability.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
---
 docs/conf.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/docs/conf.py b/docs/conf.py
index e3999bb..77f7a5f 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -39,7 +39,6 @@ extensions = [
     'sphinx.ext.autodoc',
     'sphinx.ext.coverage',
     'sphinx.ext.viewcode',
-    'sphinx.ext.githubpages',
     'sphinxarg.ext',
 ]