servant: generate docs using python3

(cherry picked from commit 59c53bc62e)
This commit is contained in:
Domen Kožar
2020-10-29 16:21:57 +01:00
committed by Jonathan Ringer
parent d7562d48b5
commit 4e72efc441

View File

@@ -675,7 +675,7 @@ self: super: {
postPatch = ''
substituteInPlace conf.py --replace "'.md': CommonMarkParser," ""
'';
nativeBuildInputs = with pkgs.buildPackages.pythonPackages; [ sphinx recommonmark sphinx_rtd_theme ];
nativeBuildInputs = with pkgs.buildPackages.python3Packages; [ sphinx recommonmark sphinx_rtd_theme ];
makeFlags = [ "html" ];
installPhase = ''
mv _build/html $out