From 6f388e5f429abd0a74fb956a6edca2d928aa6176 Mon Sep 17 00:00:00 2001
From: Marc Beninca <marc-beninca@rwx.work>
Date: Thu, 15 Aug 2019 15:27:01 +0200
Subject: [PATCH] server/sphinx,rtd

---
 in/personal/server/index.rst | 1 +
 1 file changed, 1 insertion(+)

diff --git a/in/personal/server/index.rst b/in/personal/server/index.rst
index 501d341..f11cf24 100644
--- a/in/personal/server/index.rst
+++ b/in/personal/server/index.rst
@@ -199,6 +199,7 @@ Prepare a grub.cfg
 * nginx configuration
 * nginx in container
 * nginx host sites
+* python3-sphinx-rtd-theme
 
 * /etc/bash.bashrc
 * /etc/fstab (/d)