diff --git a/.gitmodules b/.gitmodules index c282b96ae..f5b8c3e75 100644 --- a/.gitmodules +++ b/.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 diff --git a/config.sh b/config.sh index 1e7d767d0..d363c652f 100755 --- a/config.sh +++ b/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" "$@" } diff --git a/cook.sh b/cook.sh index 42fb9d5c6..1c6ac7cf6 100755 --- a/cook.sh +++ b/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 ;; diff --git a/docgen b/docgen deleted file mode 160000 index c9525c476..000000000 --- a/docgen +++ /dev/null @@ -1 +0,0 @@ -Subproject commit c9525c4761d814b86af061e4e96cd394da7deaa2