diff --git a/docs/source/conf.py b/docs/source/conf.py
index 29122d6fd..16a9b31fa 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -1,6 +1,6 @@
 # Configuration file for the Sphinx documentation builder.
 #
-# Idris Manual documentation build configuration file, created by 
+# Idris Manual documentation build configuration file, created by
 # sphinx-quickstart on Apr 13, 2020.
 #
 # This file is execfile()d with the current directory set to its