Remove docgen

.gitmodules

@@ -1,7 +1,3 @@
-[submodule "docgen"]
-	path = docgen
-	url = https://gitlab.redox-os.org/redox-os/docgen.git
-	branch = master
 [submodule "pkgar"]
 	path = pkgar
 	url = https://gitlab.redox-os.org/redox-os/pkgar.git

config.sh

@@ -60,10 +60,6 @@ export STAT
 
 if [ ! "$(uname -s)" = "Redox" ]
 then
-function docgen {
-    "$ROOT/docgen/target/release/docgen" "$@"
-}
-
 function pkgar {
     "$ROOT/pkgar/target/release/pkgar" "$@"
 }

cook.sh

@@ -283,8 +283,6 @@ function op {
                 else
                     echo "$(tput bold)Warning$(tput sgr0): Recipe does not have any binaries" >&2
                 fi
-
-                docgen "$source" "$stage/ref"
             fi
             popd > /dev/null
             ;;

docgen

@@ -1 +0,0 @@
-Subproject commit c9525c4761d814b86af061e4e96cd394da7deaa2