Fix htmldocck function

Author: GuillaumeGomez

src/tools/run-make-support/src/lib.rs

@@ -66,7 +66,7 @@ pub fn python_command() -> Command {
 
 pub fn htmldocck() -> Command {
     let mut python = python_command();
-    python.arg(source_path().join("/src/etc/htmldocck.py"));
+    python.arg(source_path().join("src/etc/htmldocck.py"));
     python
 }