Fix: migrate from python-sphinx to python3-sphinx

diff --git a/manifests/utils/development/ide.pp b/manifests/utils/development/ide.pp
index b079f9d34b802da83ae68a50ca3d5a050bb5362b..7c226dc42ef02c2071b52939643300f32e8e567e 100644 (file)
--- a/manifests/utils/development/ide.pp
+++ b/manifests/utils/development/ide.pp
@@ -10,8 +10,8 @@ class nodo::utils::development::ide (
     'hexedit',
     'ack-grep',
     'markdown',
-    'python-sphinx',
-    'python-recommonmark',
+    'python3-sphinx',
+    'python3-recommonmark',
     'pelican',
     'hugo',
     'yamllint',
@@ -44,6 +44,8 @@ class nodo::utils::development::ide (
   # Old stuff
   package { [
     'mr',
+    'python-sphinx',
+    'python-recommonmark',
   ]:
     ensure => absent,
   }